Peláne Radek


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]