T. Arons, A. Pnueli, S. Ruah, J. Xu, и L. Zuck. CAV '01: Proceedings of the 13th International Conference on Computer Aided Verification, стр. 221--234. London, UK, Springer-Verlag, (2001)
E. Emerson, и K. Namjoshi. POPL '95: Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, стр. 85--94. New York, NY, USA, ACM, (1995)
Y. Kesten, A. Pnueli, E. Shahar, и L. Zuck. CONCUR '02: Proceedings of the 13th International Conference on Concurrency Theory, стр. 101--115. London, UK, Springer-Verlag, (2002)
R. Kurshan, и K. McMillan. PODC '89: Proceedings of the eighth annual ACM Symposium on Principles of distributed computing, стр. 239--247. New York, NY, USA, ACM, (1989)
P. Wolper, и V. Lovinfosse. Proceedings of the International Workshop on Automatic Verification Methods for Finite State Systems, стр. 68--80. London, UK, Springer-Verlag, (1990)
K. Baukus, S. Bensalem, Y. Lakhnech, и K. Stahl. TACAS '00: Proceedings of the 6th International Conference on Tools and Algorithms for Construction and Analysis of Systems, стр. 188--203. London, UK, Springer-Verlag, (2000)
E. Clarke, O. Grumberg, и M. Browne. PODC '86: Proceedings of the fifth annual ACM symposium on Principles of distributed computing, стр. 240--248. New York, NY, USA, ACM, (1986)