Live Sequence Charts: An Introduction to Lines, Arrows, and Strange Boxes in the Context of Formal Verification - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Matthias Brill, Werner Damm, Jochen Klose, Bernd Westphal, Hartmut Wittke. Live Sequence Charts: An Introduction to Lines, Arrows, and Strange Boxes in the Context of Formal Verification. In Hartmut Ehrig, Werner Damm, Jörg Desel, Martin Große-Rhode, Wolfgang Reif, Eckehard Schnieder, Engelbert Westkämper, editors, Integration of Software Specification Techniques for Applications in Engineering, Priority Program SoftSpez of the German Research Foundation (DFG), Final Report. Volume 3147 of Lecture Notes in Computer Science, pages 374-399, Springer, 2004. [doi]

This author has not been identified. Look up 'Matthias Brill' in GoogleThis author has not been identified. Look up 'Werner Damm' in GoogleThis author has not been identified. Look up 'Jochen Klose' in GoogleThis author has not been identified. Look up 'Bernd Westphal' in GoogleThis author has not been identified. Look up 'Hartmut Wittke' in Google

runs on WebDSL