Computer Science Logic : 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007. Proceedings
edited by Jacques Duparc, Thomas A. Henzinger.
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007.
v.: digital
Serie: Lecture Notes in Computer Science, ISSN 0302-9743 ; 4646
ISBN: 9783540749158