M. Henzinger, T. Henzinger, and P. Kopke. Proceedings of the 36th Annual Symposium on Foundations of Computer Science, page 453--. Washington, DC, USA, IEEE Computer Society, (1995)
J. Søgaard-Andersen, S. Garl, J. Guttag, N. Lynch, and A. Pogosyants. PROCEEDINGS OF THE 5TH INTERNATIONAL CONFERENCE ON COMPUTER AIDED VERIFICATION, ELOUNDA, GREECE, VOLUME 697 OF LECTURE, page 305--319. Springer Verlag, (1993)
E. Emerson, and K. Namjoshi. LICS '98: Proceedings of the 13th Annual IEEE Symposium on Logic in Computer Science, page 70. Washington, DC, USA, IEEE Computer Society, (1998)
E. Clarke, O. Grumberg, and M. Browne. PODC '86: Proceedings of the fifth annual ACM symposium on Principles of distributed computing, page 240--248. New York, NY, USA, ACM, (1986)
Y. Hanna, S. Basu, and H. Rajan. ESEC/FSE '09: Proceedings of the the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering, page 325--334. New York, NY, USA, ACM, (2009)