Suche

Truly 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.


Downloads: