Linear Parametric Model Checking of Timed Automata.

Thomas Hune, Judi Romijn, Marille Stoelinga, Frits W. Vaandrager

Browse the full TACAS paper archive.