Skip to content
cs-conference-ranking.org

Termination of Linear Loops over the Integers.

Mehran Hosseini, Jol Ouaknine, James Worrell

VenueA*ICALP
Year2019
ProceedingsICALP
DBLP recordconf/icalp/HosseiniO019 ↗

Browse the full ICALP paper archive.