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

3. ATVA 2005: Taipei, Taiwan

Doron Peled, Yih-Kuen Tsay (Eds.): Automated Technology for Verification and Analysis, Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings. Lecture Notes in Computer Science 3707 Springer 2005, ISBN 3-540-29209-8 BibTeX

Keynote Speeches

Model Checking

Combined Methods

Timed, Embedded, and Hybrid Systems (I)

Abstraction and Reduction Techniques

Decidability and Complexity

Established Formalisms and Standards

Compositional Verification and Games

Timed, Embedded, and Hybrid Systems (II)

Protocols Analysis, Case Studies, and Tools

Infinite-State and Parameterized Systems

Copyright © Sat May 16 22:59:05 2009 by Michael Ley (ley@uni-trier.de)