Verification of Petri Nets with Read Arcs

Detalhes bibliográficos
Principais autores: Rodríguez, C, Schwoon, S
Formato: Report
Publicado em: LSV‚ ENS de Cachan‚ France 2012

Registros relacionados