%0 Conference Paper %1 conf/apn/BuchsHMR10 %A Buchs, Didier %A Hostettler, Steve %A Marechal, Alexis %A Risoldi, Matteo %B Petri Nets %D 2010 %E Lilius, Johan %E Penczek, Wojciech %I Springer %K dblp %P 287-296 %T AlPiNA: A Symbolic Model Checker. %U http://dblp.uni-trier.de/db/conf/apn/pn2010.html#BuchsHMR10 %V 6128 %@ 978-3-642-13674-0

@inproceedings{conf/apn/BuchsHMR10, added-at = {2017-05-26T00:00:00.000+0200}, author = {Buchs, Didier and Hostettler, Steve and Marechal, Alexis and Risoldi, Matteo}, biburl = {https://www.bibsonomy.org/bibtex/2b81db515b791c74ad0c1f226462f059e/dblp}, booktitle = {Petri Nets}, crossref = {conf/apn/2010}, editor = {Lilius, Johan and Penczek, Wojciech}, ee = {https://doi.org/10.1007/978-3-642-13675-7_17}, interhash = {a67fa8b5f1aa0e48a10535e2a2800b41}, intrahash = {b81db515b791c74ad0c1f226462f059e}, isbn = {978-3-642-13674-0}, keywords = {dblp}, pages = {287-296}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T15:59:42.000+0200}, title = {AlPiNA: A Symbolic Model Checker.}, url = {http://dblp.uni-trier.de/db/conf/apn/pn2010.html#BuchsHMR10}, volume = 6128, year = 2010 }