Sciweavers

TOCL
2008

Durations and parametric model-checking in timed automata

13 years 3 months ago
Durations and parametric model-checking in timed automata
Véronique Bruyère, Emmanuel Dall'Oli
Added 15 Dec 2010
Updated 15 Dec 2010
Type Journal
Year 2008
Where TOCL
Authors Véronique Bruyère, Emmanuel Dall'Olio, Jean-François Raskin
Comments (0)