Maik Kollmann

	2007
4		Olivera Pavlovic, Ralf Pinger, Maik Kollmann: Automation of Formal Verification of PLC Programs Written in IL. VERIFY 2007
3		Maik Kollmann, Yuen Man Hon: Generating Scenarios by Multi-Object Checking. Electr. Notes Theor. Comput. Sci. 190(2): 61-72 (2007)
	2003
2		Maik Kollmann: Effiziente Scheduling ohne Algorithmus. Grundlagen von Datenbanken 2003: 98-102
1		Hans-Dieter Ehrich, Maik Kollmann, Ralf Pinger: Checking Object System Designs Incrementally. J. UCS 9(2): 106-119 (2003)

Coauthor Index

1	Hans-Dieter Ehrich	[1]
2	Yuen Man Hon	[3]
3	Olivera Pavlovic	[4]
4	Ralf Pinger	[1] [4]