Diese Seite auf deutsch
SearchTruly 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.