Verification of Infinite-State Systems. Piterman, N. Ph.D. Thesis, The Weizmann Institute of Science, 2004.
Verification of Infinite-State Systems [pdf]Paper  bibtex   

Downloads: 0