Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. Research
  3. Publications
  4. O−Minimal Invariants for Linear Loops

O−Minimal Invariants for Linear Loops

Shaull Almagor‚ Dmitry Chistikov‚ Joël Ouaknine and James Worrell

Book Title
45th International Colloquium on Automata‚ Languages‚ and Programming‚ ICALP 2018
Year
2018

Links

See Also

Back to Top