10th ATVA 2012: Thiruvananthapuram, India

Refine list

showing all ?? records

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