Magyar Tudósok körútja 2.
Budapest, Budapest 1117
September 12, 2009

7th International Conference on Formal Modelling and Analysis of Timed Systems at Budapest University of Technology and Economics, Informatics Building