Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. Research
  3. Publications
  4. Integer Vector Addition Systems with States

Integer Vector Addition Systems with States

Christoph Haase and Simon Halfon

Book Title
Reachability Problems‚ RP
Pages
112–124
Publisher
Springer
Series
Lect. Notes Comp. Sci.
Volume
8762
Year
2014

Links

See Also

Back to Top