Formal Verification of LSC's in the Development Process

BIB
Brill, Matthias and Buschermöhle, Ralf and Damm, Werner and Klose, Jochen and Westphal, Bernd and Wittke, Hartmut
Integration of Software Specification Techniques for Applications in Engineering
06 / 2006
incollection
LNCS