"Computer Science Logic, 21st International Workshop, CSL 2007, 16th Annual ..."

Jacques Duparc, Thomas A. Henzinger (2007)
a service of Schloss Dagstuhl - Leibniz Center for Informatics