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, and L. Yerushalmi. Proceedings of the sixteenth annual ACM symposium on Parallelism in algorithms and architectures, page 206--215. ACM, (2004)
S. Kahn, T. Klug, and F. Flentge. TMR '07: Proceedings of the ICMI 2007 Workshop on Tagging, Mining and Retrieval of Human Related Activity Information, Nagoya, Japan, page 27-34. (2007)
K. Mani, Chandy, and M. Olson. Intelligent Event Processing, Papers from the 2009 AAAI Spring Symposium, SS-09-05, page 21--26. Menlo Park, CA, AAAI Press, (2009)
J. Ha, M. Haghighat, S. Cong, and 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, and A. Rybalchenko. POPL '09: Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages, page 102--113. New York, NY, USA, ACM, (2009)
A. Pnueli, J. Xu, and L. Zuck. CAV '02: Proceedings of the 14th International Conference on Computer Aided Verification, page 107--122. London, UK, Springer-Verlag, (2002)
G. Delzanno, J. Raskin, and L. Begin. CAV '01: Proceedings of the 13th International Conference on Computer Aided Verification, page 298--310. London, UK, Springer-Verlag, (2001)
G. Basler, M. Mazzucchi, T. Wahl, and D. Kroening. CAV '09: Proceedings of the 21st International Conference on Computer Aided Verification, page 64--78. Berlin, Heidelberg, Springer-Verlag, (2009)
P. Godefroid, and P. Wolper. CAV '91: Proceedings of the 3rd International Workshop on Computer Aided Verification, page 332--342. London, UK, Springer-Verlag, (1992)
V. Kahlon. LICS '08: Proceedings of the 2008 23rd Annual IEEE Symposium on Logic in Computer Science, page 181--192. Washington, DC, USA, IEEE Computer Society, (2008)
P. Wolper, and V. Lovinfosse. Proceedings of the International Workshop on Automatic Verification Methods for Finite State Systems, page 68--80. London, UK, Springer-Verlag, (1990)
K. Baukus, S. Bensalem, Y. Lakhnech, and K. Stahl. TACAS '00: Proceedings of the 6th International Conference on Tools and Algorithms for Construction and Analysis of Systems, page 188--203. London, UK, Springer-Verlag, (2000)
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)
E. Gafni. PODC '98: Proceedings of the seventeenth annual ACM symposium on Principles of distributed computing, page 143--152. New York, NY, USA, ACM, (1998)