- Record: found
- Abstract: not found
- Book Chapter: not found
Computer Aided Verification
As Cheap as Possible: Effcient Cost-Optimal Reachability for Priced Timed Automata
other
Kim Larsen ,
Gerd Behrmann ,
Ed Brinksma ,
Ansgar Fehnker ,
Thomas Hune ,
Paul Pettersson ,
Judi Romijn
July 4 2001
Read this book at
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Most cited references11
- Record: found
- Abstract: not found
- Article: not found
Ordering by Divisibility in Abstract Algebras
Graham Higman (1952)
- Record: found
- Abstract: not found
- Article: not found
Well-structured transition systems everywhere!
A Finkel, Ph. Schnoebelen (2001)
- Record: found
- Abstract: not found
- Book Chapter: not found
HyTech: A model checker for hybrid systems
Thomas Henzinger, Pei-Hsin Ho, Howard Wong-Toi (1997)