@incollection{Bri2006,
Author = {Brill, Matthias and Buschermöhle, Ralf and Damm, Werner and Klose, Jochen and Westphal, Bernd and Wittke, Hartmut},
Title = {Formal Verification of LSC's in the Development Process},

Year = {2006},
Month = {06},
Series = {LNCS},
Booktitle = {Integration of Software Specification Techniques for      Applications in Engineering},
type = {incollection}
}
@COMMENT{Bibtex file generated on }