Verification of Petri Nets with Read Arcs

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

Схожі ресурси