Skip to content

Decision Problems for Lower/Upper Bound Parametric Timed Automata.

Laura Bozzelli, Salvatore La Torre

VenueA*ICALP
Year2007
ProceedingsICALP

Browse the full ICALP paper archive.