%0 Conference Paper %1 conf/hvc/CohenNSZK10 %A Cohen, Ariel %A Namjoshi, Kedar S. %A Sa'ar, Yaniv %A Zuck, Lenore D. %A Kisyova, Katya I. %B Haifa Verification Conference %D 2010 %E Barner, Sharon %E Harris, Ian G. %E Kroening, Daniel %E Raz, Orna %I Springer %K dblp %P 46-59 %T Parallelizing a Symbolic Compositional Model-Checking Algorithm. %U http://dblp.uni-trier.de/db/conf/hvc/hvc2010.html#CohenNSZK10 %V 6504 %@ 978-3-642-19582-2

@inproceedings{conf/hvc/CohenNSZK10, added-at = {2017-05-19T00:00:00.000+0200}, author = {Cohen, Ariel and Namjoshi, Kedar S. and Sa'ar, Yaniv and Zuck, Lenore D. and Kisyova, Katya I.}, biburl = {https://www.bibsonomy.org/bibtex/24dc0856ff5a32dd048a89ff3fe625abc/dblp}, booktitle = {Haifa Verification Conference}, crossref = {conf/hvc/2010}, editor = {Barner, Sharon and Harris, Ian G. and Kroening, Daniel and Raz, Orna}, ee = {https://doi.org/10.1007/978-3-642-19583-9_9}, interhash = {a432e68ff358b9643633d7841289758b}, intrahash = {4dc0856ff5a32dd048a89ff3fe625abc}, isbn = {978-3-642-19582-2}, keywords = {dblp}, pages = {46-59}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T16:06:40.000+0200}, title = {Parallelizing a Symbolic Compositional Model-Checking Algorithm.}, url = {http://dblp.uni-trier.de/db/conf/hvc/hvc2010.html#CohenNSZK10}, volume = 6504, year = 2010 }