Matthias Brill (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2 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. SoftSpez Final Report 2004: 374-399

1 Matthias Brill, Ralf Buschermöhle, Werner Damm, Jochen Klose, Bernd Westphal, Hartmut Wittke: Formal Verification of LSCs in the Development Process. SoftSpez Final Report 2004: 494-516

Selection of 2 from 3 records - Matthias Brill has 7 coauthors

2		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. SoftSpez Final Report 2004: 374-399
1		Matthias Brill, Ralf Buschermöhle, Werner Damm, Jochen Klose, Bernd Westphal, Hartmut Wittke: Formal Verification of LSCs in the Development Process. SoftSpez Final Report 2004: 494-516