Skip to content

O-Minimal Invariants for Linear Loops.

Shaull Almagor, Dmitry Chistikov, Jol Ouaknine, James Worrell

VenueA*ICALP
Year2018
ProceedingsICALP

Browse the full ICALP paper archive.