Tobias Vollmer

Publication Activity (10 Years)

Years Active: 2000-2001
Publications (10 Years): 0

Publications

Wolfgang Reif, Gerhard Schellhorn, Tobias Vollmer, Jürgen Ruf
Correctness of Efficient Real-Time Model Checking. J. Univers. Comput. Sci. 7 (2) (2001)
Wolfgang Reif, Jürgen Ruf, Gerhard Schellhorn, Tobias Vollmer
Do You Trust Your Model Checker? FMCAD (2000)