Sciweavers

FORMATS
2007
Springer

Automatic Abstraction Refinement for Timed Automata

15 years 19 days ago
Automatic Abstraction Refinement for Timed Automata
Henning Dierks, Sebastian Kupferschmid, Kim Guldst
Added 16 Aug 2010
Updated 16 Aug 2010
Type Conference
Year 2007
Where FORMATS
Authors Henning Dierks, Sebastian Kupferschmid, Kim Guldstrand Larsen
Comments (0)