Browsing by Author Carrasquel, Julio
Showing results 1 to 1 of 1
| Issue Date | Title | Author(s) |
|---|---|---|
| 2024-06-20 | Prosega/CPN: An Extension of CPN Tools for Automata-based Analysis and System Verification | Carrasquel, Julio; Morales Bezeira, Ana Verónica; Villapol, María Elena |