Skip to main content

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