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

15. TACAS 2009: York, UK (Part of ETAPS 2009)

Stefan Kowalewski, Anna Philippou (Eds.): Tools and Algorithms for the Construction and Analysis of Systems, 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings. Lecture Notes in Computer Science 5505 Springer 2009, ISBN 978-3-642-00767-5 BibTeX

Model Checking I

Tools I

Game-Theoretic Approaches

Verification of Concurrent Programs

Tools II

Model Checking II

Parametric Analysis

Generative Approaches

Program Analysis

Hybrid Systems

Decision Procedures and Theorem Proving

Invited Contribution

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