Volume: Vol-3733 CILC 2024 | Year: 2024

Paper: « short5 | short6 | FAIA230316 »

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

• Francesco Di Cosmo dblp
• Tephilla Prince dblp

PDF