Automatic Abstraction Refinement for Timed Automata
Dierks, Henning and Kupferschmid, Sebastian and Larsen, Kim G.
Formal Modeling and Analysis of Timed Systems. 5th International Conference, FORMATS 2007
01 / 2007
978-3-540-75453-4
inproceedings
Springer Verlag
Lecture Notes in Computer Science 4763
114-129
Springer Verlag
