3rd ATVA 2005: Taipei, Taiwan

Refine list

showing all ?? records

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

a service of  Schloss Dagstuhl - Leibniz Center for Informatics