%0 Conference Paper %1 conf/tacas/RenaultDKP15 %A Renault, Etienne %A Duret-Lutz, Alexandre %A Kordon, Fabrice %A Poitrenaud, Denis %B TACAS %D 2015 %E Baier, Christel %E Tinelli, Cesare %I Springer %K %P 613-627 %T Parallel Explicit Model Checking for Generalized Büchi Automata. %U http://dblp.uni-trier.de/db/conf/tacas/tacas2015.html#RenaultDKP15 %V 9035 %@ 978-3-662-46680-3

@inproceedings{conf/tacas/RenaultDKP15, added-at = {2023-12-13T02:55:50.000+0100}, author = {Renault, Etienne and Duret-Lutz, Alexandre and Kordon, Fabrice and Poitrenaud, Denis}, biburl = {https://www.bibsonomy.org/bibtex/24ed567e84985563ee606d7fb3f26026c/admin}, booktitle = {TACAS}, crossref = {conf/tacas/2015}, editor = {Baier, Christel and Tinelli, Cesare}, ee = {https://doi.org/10.1007/978-3-662-46681-0_56}, interhash = {856daf441d442e9f858a22583fe4d0b2}, intrahash = {4ed567e84985563ee606d7fb3f26026c}, isbn = {978-3-662-46680-3}, keywords = {}, pages = {613-627}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-13T02:55:50.000+0100}, title = {Parallel Explicit Model Checking for Generalized Büchi Automata.}, url = {http://dblp.uni-trier.de/db/conf/tacas/tacas2015.html#RenaultDKP15}, volume = 9035, year = 2015 }