Live Sequence Charts

BIB
Brill, Mathias and Damm, Werner and Klose, Jochen and Westphal, Bernd and Wittke, Hartmut
Integration of Software Specification Techniques for Applications in Engineering
01 / 2004
incollection
LNCS