Nr. 5 (2001): RS-5 Linear Parametric Model Checking of Timed Automata

Artikler

• Linear Parametric Model Checking of Timed Automata

  Thomas S. Hune, Judi Romijn, Mariëlle Stoelinga, Frits W. Vaandrager

  • PDF (English)