Verification of Petri Nets with Read Arcs

Бібліографічні деталі
Автори: Rodríguez, C, Schwoon, S
Формат: Report
Опубліковано: LSV‚ ENS de Cachan‚ France 2012
Search Result 1

Verification of Petri Nets with Read Arcs за авторством Rodríguez, C, Schwoon, S

Опубліковано 2012
Conference item