Ariel Cohen 0002, Kedar S. Namjoshi, Yaniv Sa ar, Lenore D. Zuck, Katya I. Kisyova. Parallelizing a Symbolic Compositional Model-Checking Algorithm. In Sharon Barner, Ian G. Harris, Daniel Kroening, Orna Raz, editors, Hardware and Software: Verification and Testing - 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers. Volume 6504 of Lecture Notes in Computer Science, pages 46-59, Springer, 2010.
Abstract is missing.