Wang Yi
Pettersson P.:
Formal Modeling and Analysis of Timed Systems
Third International Conference, Formats 2005, Uppsala, Sweden, September 26-28, 2005, Proceedings
Lecture Notes In Computer Science
Editor: Paul Pettersson, Editor: Wang Yi
Springer-Verlag Berlin And Heidelberg Gmbh & Co. Kg (Germany), 2005
Quality paperback, 320 pages
Margaria Tiziana:
Tools and Algorithms for the Construction and Analysis of Systems
7th International Conference, Tacas 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, Etaps 2001 Genova, Italy, April 2-6, 2001 Proceedings
Lecture Notes In Computer Science,
Editor: Tiziana Margaria, Editor: Wang Yi
Springer-Verlag Berlin And Heidelberg Gmbh & Co. Kg (Germany), 2001
Quality paperback, 608 pages


