@inproceedings{504d4580d57a11dc9f89000ea68e967b,
title = "Automatic Abstraction Refinement for Timed Automata",
author = "Larsen, {Kim Guldstrand} and Sebastian kupferschmid and Henning Dierks",
year = "2007",
language = "English",
series = "Lecture Notes in Computer Science",
publisher = "IEEE Computer Society Press",
number = "4763",
pages = "114--129",
booktitle = "Formal Modeling and Analysis of Timed Systems",
address = "United States",
note = "5th International Conference on Formal Modelling and Analysis of Timed Systems ; Conference date: 03-10-2007 Through 05-10-2007",
}