10. ATVA 2012: Thiruvananthapuram, India

Invited Papers

Automata Theory

Logics and Proofs

Model Checking

Software Verification

Synthesis

Verification and Parallelism

Probabilistic Verification

Constraint Solving and Applications

Probabilistic Systems

a service of Schloss Dagstuhl - Leibniz Center for Informatics