dblp.uni-trier.de www.uni-trier.de

2. FORMATS / 8. FTRTFT 2004: Grenoble, France

Yassine Lakhnech, Sergio Yovine (Eds.): Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems, Joint International Conferences on Formal Modelling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24, 2004, Proceedings. Lecture Notes in Computer Science 3253 Springer 2004, ISBN 3-540-23167-6 BibTeX

Invited Papers

Regular Papers

Copyright © Sat May 16 23:12:31 2009 by Michael Ley (ley@uni-trier.de)