Stephan Melzer

	2009
7		Sean Eikenberg, Stephan Melzer, Ulrike Lechner: Fachliches Innovationsmanagement als strategischer Erfolgsfaktor in der IT-Beratung und Systemintegration. Wirtschaftsinformatik (1) 2009: 815-824
	2000
6		Javier Esparza, Stephan Melzer: Verification of Safety Properties Using Integer Programming: Beyond the State Equation. Formal Methods in System Design 16(2): 159-189 (2000)
	1997
5		Stephan Melzer, Stefan Römer: Deadlock Checking Using Net Unfoldings. CAV 1997: 352-363
4		Stephan Melzer: Verification of Parallel Systems using Constraint Programming. CP 1997: 92-106
3		Javier Esparza, Stephan Melzer: Model Checking LTL Using Constraint Programming. ICATPN 1997: 1-20
	1996
2		Stephan Melzer, Stefan Römer, Javier Esparza: Verification Using PEP. AMAST 1996: 591-594
1		Stephan Melzer, Javier Esparza: Checking System Properties via Integer Programming. ESOP 1996: 250-264

Coauthor Index

1	Sean Eikenberg	[7]
2	Javier Esparza	[1] [2] [3] [6]
3	Ulrike Lechner	[7]
4	Stefan Römer	[2] [5]

Colors in the list of coauthors