Tobias Vollmer

	2001
2		Wolfgang Reif, Gerhard Schellhorn, Tobias Vollmer, Jürgen Ruf: Correctness of Efficient Real-Time Model Checking. J. UCS 7(2): 194-209 (2001)
	2000
1		Wolfgang Reif, Jürgen Ruf, Gerhard Schellhorn, Tobias Vollmer: Do You Trust Your Model Checker? FMCAD 2000: 179-196

Coauthor Index

1	Wolfgang Reif	[1] [2]
2	Jürgen Ruf	[1] [2]
3	Gerhard Schellhorn	[1] [2]