%0 Conference Paper %1 conf/nfm/HulsNR20 %A Hüls, Jannik %A Niehaus, Henner %A Remke, Anne %B NFM %D 2020 %E Lee, Ritchie %E Jha, Susmit %E Mavridou, Anastasia %I Springer %K dblp %P 369-378 %T hpnmg: A C++ Tool for Model Checking Hybrid Petri Nets with General Transitions. %U http://dblp.uni-trier.de/db/conf/nfm/nfm2020.html#HulsNR20 %V 12229 %@ 978-3-030-55754-6

@inproceedings{conf/nfm/HulsNR20, added-at = {2020-08-10T00:00:00.000+0200}, author = {Hüls, Jannik and Niehaus, Henner and Remke, Anne}, biburl = {https://www.bibsonomy.org/bibtex/253236e130cb1754da6787df16d54d715/dblp}, booktitle = {NFM}, crossref = {conf/nfm/2020}, editor = {Lee, Ritchie and Jha, Susmit and Mavridou, Anastasia}, ee = {https://doi.org/10.1007/978-3-030-55754-6_22}, interhash = {8da2912a5a773b815345abea12002b45}, intrahash = {53236e130cb1754da6787df16d54d715}, isbn = {978-3-030-55754-6}, keywords = {dblp}, pages = {369-378}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2020-08-11T11:43:40.000+0200}, title = {hpnmg: A C++ Tool for Model Checking Hybrid Petri Nets with General Transitions.}, url = {http://dblp.uni-trier.de/db/conf/nfm/nfm2020.html#HulsNR20}, volume = 12229, year = 2020 }