Verification of Petri Nets with Read Arcs

Verification of Petri Nets with Read Arcs

Zobrazit další vydání (1)
Podrobná bibliografie
Hlavní autoři: Rodríguez, C, Schwoon, S
Médium: Report
Vydáno: LSV‚ ENS de Cachan‚ France 2012
Search Result 1
Verification of Petri Nets with Read Arcs

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

Vydáno 2012
Conference item
Zobrazit všechna vydaní (2)

Podobné jednotky