Matthias Brill

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

Coauthor Index

1	Ralf Buschermöhle	[1]
2	Werner Damm	[1] [2]
3	Bernd Finkbeiner	[3]
4	Jochen Klose	[1] [2]
5	Sven Schewe	[3]
6	Bernd Westphal	[1] [2]
7	Hartmut Wittke	[1] [2]

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page