@inproceedings{56bfaa509a5911db8075000ea68e967b,
title = "Static Guard Analysis in Timed Automata Verification",
author = "Gerd Behrmann and Patricia Bouyer and Emmanuel Fleury and Larsen, {Kim G.}",
year = "2003",
language = "English",
series = "Lecture Notes in Computer Science",
publisher = "IEEE Computer Society Press",
number = "2619",
pages = "254--277",
booktitle = "Proceedings of TACAS 2003",
address = "United States",
note = "Static Guard Analysis in Timed Automata Verification ; Conference date: 19-05-2010",
}