Parallelizing a Symbolic Compositional Model-Checking Algorithm. - Ariel Cohen 002; Kedar S. Namjoshi; Yaniv Sa'ar; Lenore D. Zuck; Katya I. Kisyova (Haifa Verification Conference, 2010)