Technical Report 2005-025

Pre-Proceedings of the 3rd International Conference on Formal Modelling and Analysis of Timed Systems

Paul Pettersson and Wang Yi (eds.)

September 2005

Available as PDF (6.42 MB)

Download BibTeX entry.