Verification of Petri Nets with Read Arcs

Մատենագիտական մանրամասներ
Հիմնական հեղինակներ: Rodríguez, C, Schwoon, S
Ձևաչափ: Conference item
Հրապարակվել է: Springer 2012