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

5. FORMATS 2007: Salzburg, Austria

Jean-François Raskin, P. S. Thiagarajan (Eds.): Formal Modeling and Analysis of Timed Systems, 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007, Proceedings. Lecture Notes in Computer Science 4763 Springer 2007, ISBN 978-3-540-75453-4 BibTeX

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