LEADER 01329nam--2200373---450-
001 990003088620203316
005 20080328134722.0
010   $a978-3-540-74914-1
035   $a000308862
035   $aUSA01000308862
035   $a(ALEPH)000308862USA01
035   $a000308862
100   $a20080328d2007----km-y0itay0103----ba
101   $aeng
102   $aDE
105   $a||||||||001yy
200 1 $aComputer science logic$e21st International workshop, CSL 2007$e16th Annual conference of the EACSL$eLausanne, Switzerland, September 11-15, 2007$eproceedings$fJacques Duparc, Thomas A. Henzinger (eds.)
210   $aBerlin [etc.]$cSpringer$dcopyr. 2007
215   $aXII, 600 p.$cill.$d24 cm
225 2 $aLecture notes in computer science$v4646
410 0 $12001$aLecture notes in computer science$v4646
606 0 $aInformatica$aCongressi$yLausanne$a2007
676   $a005.131
702  1$aDUPARC,$bJacques
710 12$aInternational workshop, CSL 2007$d<21;$eLausanne$f2007;>
710 12$aAnnual Conference of the EACSL$d<16;$eLausanne$f2007;>
801  0$aITA$bCBS$gISBD
912   $a990003088620203316
951   $a001 LNCS 4646$b35347/CBS$c001$d00216605
959   $aBK
969   $aSCI
979   $aANGELA$b90$c20080328$lUSA01$h1347
996   $aComputer Science Logic$9771972
997   $aUNISA