tag : Petri nets
2 publications / Mirko Viroli
ReSpecT Nets: Towards an Analysis Methodology for ReSpecT Specifications (2007) — Mirko Viroli, Andrea Omicini ReSpecT Nets: Towards an Analysis Methodology for ReSpecT Specifications (2004) — Mirko Viroli, Andrea Omicini
0000-0003-2702-5702