Verification of Petri Nets with Read Arcs

Detalles Bibliográficos
Autores principales: Rodríguez, C, Schwoon, S
Formato: Report
Publicado: LSV‚ ENS de Cachan‚ France 2012

Ejemplares similares