Kim G. Larsen


Gerd Behrmann, Patricia Bouyer, Kim G. Larsen, and Peláne Radek:
Lower and Upper Bounds in Zone Based Abstractions of Timed Automata,
Tools and Algorithms for the Construction and Analysis of Systems: 10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004. Proceedings, Springer Berlin Heidelberg, 2004, 312–326. [bibtex, url]


Gerd Behrmann, Kim G. Larsen, and Radek Pelánek:
To Store or Not To Store,
Computer Aided Verification (CAV 2003), Springer-Verlag, 2003, 433-445. [bibtex]