Z. Manna, und A. Pnueli. In 15th Conference on the Foundations of Software Technology and Theoretical Computer Science, Seite 726--765. Springer-Verlag, (1994)
T. Arons, A. Pnueli, S. Ruah, J. Xu, und L. Zuck. CAV '01: Proceedings of the 13th International Conference on Computer Aided Verification, Seite 221--234. London, UK, Springer-Verlag, (2001)
Y. Kesten, A. Pnueli, E. Shahar, und L. Zuck. CONCUR '02: Proceedings of the 13th International Conference on Concurrency Theory, Seite 101--115. London, UK, Springer-Verlag, (2002)
A. Pnueli, J. Xu, und L. Zuck. CAV '02: Proceedings of the 14th International Conference on Computer Aided Verification, Seite 107--122. London, UK, Springer-Verlag, (2002)