Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. Research
  3. Publications
  4. Logics for continuous reachability in Petri nets and vector addition systems with states

Logics for continuous reachability in Petri nets and vector addition systems with states

Michael Blondin and Christoph Haase

Book Title
Logic in Computer Science‚ LICS
Publisher
IEEE
Year
2017

Links

See Also

Back to Top