This page in English
SucheTruly On-The-Fly Model Checking
Moritz Hammer, Alexander Knapp, Stephan Merz
In: Nicolas Halbwachs, Lenore D. Zuck (Hgg.). Proc. 11th Int. Conf. Tools and Algorithms for the Construction and Analysis of Systems (TACAS'05). Lect. Notes Comp. Sci. 3440, Springer, Berlin, 2005. S. 191-205.