Verification of Petri Nets with Read Arcs

Sonraí bibleagrafaíochta
Príomhchruthaitheoirí: Rodríguez, C, Schwoon, S
Formáid: Report
Foilsithe / Cruthaithe: LSV‚ ENS de Cachan‚ France 2012

Míreanna comhchosúla