%0 Conference Paper %1 conf/fm/AmatD23 %A Amat, Nicolas %A Dal-Zilio, Silvano %B FM %D 2023 %E Chechik, Marsha %E Katoen, Joost-Pieter %E Leucker, Martin %I Springer %K dblp %P 445-453 %T SMPT: A Testbed for Reachability Methods in Generalized Petri Nets. %U http://dblp.uni-trier.de/db/conf/fm/fm2023.html#AmatD23 %V 14000 %@ 978-3-031-27481-7

@inproceedings{conf/fm/AmatD23, added-at = {2023-03-11T00:00:00.000+0100}, author = {Amat, Nicolas and Dal-Zilio, Silvano}, biburl = {https://www.bibsonomy.org/bibtex/21c93fa57df5bcc854a9cf7afa3224e6c/dblp}, booktitle = {FM}, crossref = {conf/fm/2023}, editor = {Chechik, Marsha and Katoen, Joost-Pieter and Leucker, Martin}, ee = {https://doi.org/10.1007/978-3-031-27481-7_25}, interhash = {c606c9ce1a423ceee8be168b974e0664}, intrahash = {1c93fa57df5bcc854a9cf7afa3224e6c}, isbn = {978-3-031-27481-7}, keywords = {dblp}, pages = {445-453}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T13:22:28.000+0200}, title = {SMPT: A Testbed for Reachability Methods in Generalized Petri Nets.}, url = {http://dblp.uni-trier.de/db/conf/fm/fm2023.html#AmatD23}, volume = 14000, year = 2023 }