Sciweavers

HYBRID
2001
Springer

Minimum-Cost Reachability for Priced Timed Automata

14 years 3 months ago
Minimum-Cost Reachability for Priced Timed Automata
Gerd Behrmann, Ansgar Fehnker, Thomas Hune, Kim Gu
Added 29 Jul 2010
Updated 29 Jul 2010
Type Conference
Year 2001
Where HYBRID
Authors Gerd Behrmann, Ansgar Fehnker, Thomas Hune, Kim Guldstrand Larsen, Paul Pettersson, Judi Romijn, Frits W. Vaandrager
Comments (0)