Login / Signup

Linear Parametric Model Checking of Timed Automata.

Thomas HuneJudi RomijnMariëlle StoelingaFrits W. Vaandrager
Published in: TACAS (2001)
Keyphrases