| 2006 |
|---|
| 3 | EE | Bernd Finkbeiner,
Sven Schewe,
Matthias Brill:
Automatic Synthesis of Assumptions for Compositional Model Checking.
FORTE 2006: 143-158 |
| 2004 |
|---|
| 2 | EE | 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 | EE | 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 |
