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


Vol-3733/short5⫷Vol-3733/short6⫸Vol-3733/published1

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