Vol-3732⫷ Vol-3733 ⫸Vol-3734
urn:nbn:de:0074-3733-0


Vol-3733/short5⫷Vol-3733/short6⫸Vol-3733/published1
Francesco Di CosmoTephilla Prince

Bounded Verification of Petri Nets and EOSs using Telingo: An Experience Report