Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. Research
  3. Publications
  4. Verification of Petri Nets with Read Arcs

Verification of Petri Nets with Read Arcs

César Rodríguez and Stefan Schwoon

Institution
LSV‚ ENS de Cachan‚ France
Number
LSV−12−12
Year
2012

Links

See Also

Back to Top