Sciweavers

TACAS
2001
Springer

Linear Parametric Model Checking of Timed Automata

14 years 4 months ago
Linear Parametric Model Checking of Timed Automata
Thomas Hune, Judi Romijn, Mariëlle Stoelinga,
Added 30 Jul 2010
Updated 30 Jul 2010
Type Conference
Year 2001
Where TACAS
Authors Thomas Hune, Judi Romijn, Mariëlle Stoelinga, Frits W. Vaandrager
Comments (0)