@inproceedingsDie2007, Author = {Dierks, Henning and Kupferschmid, Sebastian and Larsen, Kim G.}, Title = {Automatic Abstraction Refinement for Timed Automata}, Year = {2007}, Pages = {114-129}, Month = {01}, Editor = {Springer Verlag}, Publisher = {Springer Verlag}, Series = {Lecture Notes in Computer Science 4763}, Isbn = {978-3-540-75453-4}, Booktitle = {Formal Modeling and Analysis of Timed Systems. 5th International Conference, FORMATS 2007}, type = {inproceedings} @COMMENTBibtex file generated on