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

Verification Based on Unfoldings of Petri Nets with Read Arcs

César Rodríguez

Address
France
Month
dec
School
Laboratoire Spécification et Vérification‚ ENS Cachan
Year
2013

Links

See Also

Back to Top