G. Steele, Jr., und J. Tristan. Proceedings of the 21st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, Seite 15:1--15:12. ACM, (2016)
R. Canetti, O. Goldreich, S. Goldwasser, und S. Micali. Proceedings of the Thirty-second Annual ACM Symposium on Theory of
Computing, Seite 235--244. New York, NY, USA, ACM, (2000)
D. Hendler, N. Shavit, und L. Yerushalmi. Proceedings of the sixteenth annual ACM symposium on Parallelism in algorithms and architectures, Seite 206--215. ACM, (2004)
S. Kahn, T. Klug, und F. Flentge. TMR '07: Proceedings of the ICMI 2007 Workshop on Tagging, Mining and Retrieval of Human Related Activity Information, Nagoya, Japan, Seite 27-34. (2007)
K. Mani, Chandy, und M. Olson. Intelligent Event Processing, Papers from the 2009 AAAI Spring Symposium, SS-09-05, Seite 21--26. Menlo Park, CA, AAAI Press, (2009)
J. Ha, M. Haghighat, S. Cong, und K. McKinley. Workshop on Parallel Execution of Sequential Programs on Multicore Architectures (PESPMA 2009), (Juni 2009)in conjunction with ISCA 09.
P. Ganty, R. Majumdar, und A. Rybalchenko. POPL '09: Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages, Seite 102--113. New York, NY, USA, ACM, (2009)
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)
G. Delzanno, J. Raskin, und L. Begin. CAV '01: Proceedings of the 13th International Conference on Computer Aided Verification, Seite 298--310. London, UK, Springer-Verlag, (2001)
G. Basler, M. Mazzucchi, T. Wahl, und D. Kroening. CAV '09: Proceedings of the 21st International Conference on Computer Aided Verification, Seite 64--78. Berlin, Heidelberg, Springer-Verlag, (2009)
P. Godefroid, und P. Wolper. CAV '91: Proceedings of the 3rd International Workshop on Computer Aided Verification, Seite 332--342. London, UK, Springer-Verlag, (1992)
V. Kahlon. LICS '08: Proceedings of the 2008 23rd Annual IEEE Symposium on Logic in Computer Science, Seite 181--192. Washington, DC, USA, IEEE Computer Society, (2008)
P. Wolper, und V. Lovinfosse. Proceedings of the International Workshop on Automatic Verification Methods for Finite State Systems, Seite 68--80. London, UK, Springer-Verlag, (1990)
K. Baukus, S. Bensalem, Y. Lakhnech, und K. Stahl. TACAS '00: Proceedings of the 6th International Conference on Tools and Algorithms for Construction and Analysis of Systems, Seite 188--203. London, UK, Springer-Verlag, (2000)
E. Clarke, O. Grumberg, und M. Browne. PODC '86: Proceedings of the fifth annual ACM symposium on Principles of distributed computing, Seite 240--248. New York, NY, USA, ACM, (1986)
R. Canetti. Foundations of Computer Science, 2001. Proceedings. 42nd IEEE Symposium
on, Seite 136-145. Washington, DC, USA, IEEE Computer Society, (2001)extended version.
E. Gafni. PODC '98: Proceedings of the seventeenth annual ACM symposium on Principles of distributed computing, Seite 143--152. New York, NY, USA, ACM, (1998)