%0 Conference Paper %1 conf/tacas/BuchsHMR10 %A Buchs, Didier %A Hostettler, Steve %A Marechal, Alexis %A Risoldi, Matteo %B TACAS %D 2010 %E Esparza, Javier %E Majumdar, Rupak %I Springer %K dblp %P 349-352 %T AlPiNA: An Algebraic Petri Net Analyzer. %U http://dblp.uni-trier.de/db/conf/tacas/tacas2010.html#BuchsHMR10 %V 6015 %@ 978-3-642-12001-5

@inproceedings{conf/tacas/BuchsHMR10, added-at = {2018-06-26T00:00:00.000+0200}, author = {Buchs, Didier and Hostettler, Steve and Marechal, Alexis and Risoldi, Matteo}, biburl = {https://www.bibsonomy.org/bibtex/24a7e26f4e481f30a21ca15664e9b2ee1/dblp}, booktitle = {TACAS}, crossref = {conf/tacas/2010}, editor = {Esparza, Javier and Majumdar, Rupak}, ee = {https://doi.org/10.1007/978-3-642-12002-2_29}, interhash = {8cb287b2448df6b065381970cdc17d1a}, intrahash = {4a7e26f4e481f30a21ca15664e9b2ee1}, isbn = {978-3-642-12001-5}, keywords = {dblp}, pages = {349-352}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T14:37:13.000+0200}, title = {AlPiNA: An Algebraic Petri Net Analyzer.}, url = {http://dblp.uni-trier.de/db/conf/tacas/tacas2010.html#BuchsHMR10}, volume = 6015, year = 2010 }