Linear Parametric Model Checking of Timed Automata (2002)

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