Stefan Römer

	2002
5		Javier Esparza, Stefan Römer, Walter Vogler: An Improvement of McMillan's Unfolding Algorithm. Formal Methods in System Design 20(3): 285-310 (2002)
	1999
4		Javier Esparza, Stefan Römer: An Unfolding Algorithm for Synchronous Products of Transition Systems. CONCUR 1999: 2-20
	1997
3		Stephan Melzer, Stefan Römer: Deadlock Checking Using Net Unfoldings. CAV 1997: 352-363
	1996
2		Stephan Melzer, Stefan Römer, Javier Esparza: Verification Using PEP. AMAST 1996: 591-594
1		Javier Esparza, Stefan Römer, Walter Vogler: An Improvement of McMillan's Unfolding Algorithm. TACAS 1996: 87-106

Coauthor Index

1	Javier Esparza	[1] [2] [4] [5]
2	Stephan Melzer	[2] [3]
3	Walter Vogler	[1] [5]