Jörg Beckers

	2008
1		Jörg Beckers, Daniel Klünder, Stefan Kowalewski, Bastian Schlich: Direct Support for Model Checking Abstract State Machines by Utilizing Simulation. ABZ 2008: 112-124

Coauthor Index

1	Daniel Klünder	[1]
2	Stefan Kowalewski	[1]
3	Bastian Schlich	[1]