Verification of Petri Nets with Read Arcs

Detalles Bibliográficos
Main Authors: Rodríguez, C, Schwoon, S
Formato: Report
Publicado: LSV‚ ENS de Cachan‚ France 2012
Search Result 1