Verification of Petri Nets with Read Arcs

Verification of Petri Nets with Read Arcs

Show other versions (1)
Xehetasun bibliografikoak
Egile Nagusiak: Rodríguez, C, Schwoon, S
Formatua: Report
Argitaratua: LSV‚ ENS de Cachan‚ France 2012
Search Result 1
Verification of Petri Nets with Read Arcs

Verification of Petri Nets with Read Arcs nork Rodríguez, C, Schwoon, S

Argitaratua 2012
Conference item
Show all versions (2)

Antzeko izenburuak