%0 Conference Paper %1 conf/atva/SaadDB12 %A Saad, Rodrigo T. %A Dal-Zilio, Silvano %A Berthomieu, Bernard %B ATVA %D 2012 %E Chakraborty, Supratik %E Mukund, Madhavan %I Springer %K dblp %P 284-299 %T An Experiment on Parallel Model Checking of a CTL Fragment. %U http://dblp.uni-trier.de/db/conf/atva/atva2012.html#SaadDB12 %V 7561 %@ 978-3-642-33385-9

@inproceedings{conf/atva/SaadDB12, added-at = {2017-06-01T00:00:00.000+0200}, author = {Saad, Rodrigo T. and Dal-Zilio, Silvano and Berthomieu, Bernard}, biburl = {https://www.bibsonomy.org/bibtex/26c0f981af6ba322e123a4b650a51d27c/dblp}, booktitle = {ATVA}, crossref = {conf/atva/2012}, editor = {Chakraborty, Supratik and Mukund, Madhavan}, ee = {https://doi.org/10.1007/978-3-642-33386-6_23}, interhash = {f38f74cd9d00ba9f37acf0ff5daa4a2a}, intrahash = {6c0f981af6ba322e123a4b650a51d27c}, isbn = {978-3-642-33385-9}, keywords = {dblp}, pages = {284-299}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T13:00:34.000+0200}, title = {An Experiment on Parallel Model Checking of a CTL Fragment.}, url = {http://dblp.uni-trier.de/db/conf/atva/atva2012.html#SaadDB12}, volume = 7561, year = 2012 }