Computer Science Logic, 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007, Proceedings

Jacques Duparc Thomas A. Henzinger Computer Science Logic, 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007, Proceedings CSL Lecture Notes in Computer Science 4646 Springer 2007 978-3-540-74914-1 db/conf/csl/csl2007.html