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

maintained by Schloss Dagstuhl LZI, founded at University of Trier