Verification of Petri Nets with Read Arcs

Dades bibliogràfiques
Autors principals: Rodríguez, C, Schwoon, S
Format: Report
Publicat: LSV‚ ENS de Cachan‚ France 2012