01329nam--2200373---450-99000308862020331620080328134722.0978-3-540-74914-1000308862USA01000308862(ALEPH)000308862USA0100030886220080328d2007----km-y0itay0103----baengDE||||||||001yyComputer science logic21st International workshop, CSL 200716th Annual conference of the EACSLLausanne, Switzerland, September 11-15, 2007proceedingsJacques Duparc, Thomas A. Henzinger (eds.)Berlin [etc.]Springercopyr. 2007XII, 600 p.ill.24 cmLecture notes in computer science46462001Lecture notes in computer science4646InformaticaCongressiLausanne2007005.131DUPARC,JacquesInternational workshop, CSL 2007<21;Lausanne2007;>Annual Conference of the EACSL<16;Lausanne2007;>ITACBSISBD990003088620203316001 LNCS 464635347/CBS00100216605BKSCIANGELA9020080328USA011347Computer Science Logic771972UNISA