BEGMRW97
E. Best, J. Esparza, B. Grahlmann, S. Melzer, S. Römer, and F. Wallner.
The PEP verification system.
In FEmSys'97, 1997.
Tool presentation. [gzipped Postscript ] [Abstract]

HNW96
M. Huhn, P. Niebert, and F. Wallner.
Put your model checker on diet: Verification on local states.
Technical Report TUM-I9642, SFB-Bericht 342/18/96 A, Technische Universität München, Institut für Informatik, December 1996. [gzipped Postscript ] [Abstract]

HNW98b
M. Huhn, P. Niebert, and F. Wallner.
Model checking gossip modalities.
Technical Report 21/98, Fakultät für Informatik, Universität Karlsruhe, 1998. [gzipped Postscript ] [Abstract]

HNW98a
M. Huhn, P. Niebert, and F. Wallner.
Verification based on local states.
In Proc. of TACAS'98, number 1384 in Lecture Notes in Computer Science, pages 35-51. Springer-Verlag, 1998. [gzipped Postscript ] [Abstract]

HNW99
M. Huhn, P. Niebert, and F. Wallner.
Model checking logics for communicating sequential agents.
In Proc. of FOSSACS'99, number 1578 in Lecture Notes in Computer Science, pages 227-242. Springer-Verlag, 1999. [gzipped Postscript ] [Abstract]

Wal94
F. Wallner.
Model Checking im modalen mu-Kalkül für unendliche Systeme mithilfe symbolischer Gauß-Elimination.
Master's thesis, TU München, 1994.

Wal98
F. Wallner.
Model checking LTL using net unfoldings.
In Prof. of CAV'98, number 1427 in Lecture Notes in Computer Science, pages 207-218. Springer-Verlag, 1998. [gzipped Postscript ] [Abstract]