%0 Conference Paper %1 conf/gg/GenoveseS20 %A Genovese, Fabrizio %A Spivak, David I. %B ICGT %D 2020 %E Gadducci, Fabio %E Kehrer, Timo %I Springer %K dblp %P 57-74 %T A Categorical Semantics for Guarded Petri Nets. %U http://dblp.uni-trier.de/db/conf/gg/icgt2020.html#GenoveseS20 %V 12150 %@ 978-3-030-51372-6

@inproceedings{conf/gg/GenoveseS20, added-at = {2020-06-30T00:00:00.000+0200}, author = {Genovese, Fabrizio and Spivak, David I.}, biburl = {https://www.bibsonomy.org/bibtex/2e3523ac8efa6c3d33a9bd20ed9fc3f36/dblp}, booktitle = {ICGT}, crossref = {conf/gg/2020}, editor = {Gadducci, Fabio and Kehrer, Timo}, ee = {https://doi.org/10.1007/978-3-030-51372-6_4}, interhash = {993c1ebdbd871854257258ed84025e78}, intrahash = {e3523ac8efa6c3d33a9bd20ed9fc3f36}, isbn = {978-3-030-51372-6}, keywords = {dblp}, pages = {57-74}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2020-07-01T11:53:54.000+0200}, title = {A Categorical Semantics for Guarded Petri Nets.}, url = {http://dblp.uni-trier.de/db/conf/gg/icgt2020.html#GenoveseS20}, volume = 12150, year = 2020 }