Linear Parametric Model Checking of Timed Automata (2002)

by Thomas Hune , Judi Romijn , Mariëlle Stoelinga , Frits Vaandrager
Citations:61 - 3 self