Global Model-Checking for Infinite-State Systems. Piterman, N. & Vardi, M. In 16th International Conference on Computer Aided Verification, volume 3114, of <A HREF=http://www.springer.de/comp/lncs/index.html>Lecture Notes in Computer Science</A>, pages 387-400, Boston, MA, USA, July, 2004. &copy; Springer-Verlag.
Global Model-Checking for Infinite-State Systems [pdf]Paper  bibtex   

Downloads: 0