Sciweavers

Share
TOCL
2008

Durations and parametric model-checking in timed automata

9 years 2 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)
books