12th FoSSaCS 2009: York, UK (Part of ETAPS 2009)

Refine list

showing all ?? records

Invited Talks

Semantics

Logics and Automata

Algebras

Automata Theory

Processes and Models

Security

Probabilistic and Quantitative Models

Synthesis

Program Analysis and Semantics

a service of  Schloss Dagstuhl - Leibniz Center for Informatics