Francesco Di Cosmo, Tephilla Prince. Bounded Verification of Petri Nets and EOSs using Telingo: An Experience Report. In Emanuele De Angelis, Maurizio Proietti, editors, Proceedings of the 39th Italian Conference on Computational Logic, Rome, Italy, June 26-28, 2024. Volume 3733 of CEUR Workshop Proceedings, CEUR-WS.org, 2024. [doi]
Abstract is missing.