LEADER 01599nam--2200385---450-
001 990002990430203316
005 20080306121111.0
010   $a978-3-540-71208-4
035   $a000299043
035   $aUSA01000299043
035   $a(ALEPH)000299043USA01
035   $a000299043
100   $a20071016d2007----km-y0itay0103----ba
101 0 $aeng
102   $aDE
105   $aa|||||||001yy
200 1 $aTools and algorithms for the construction and analysis of systems$e13th International Conference, TACAS 2007$eHeld as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007$eBraga, Portugal, March/April 2007$eproceedings$fOrna Grumberg, Michael Huth (Eds.)
210   $aBerlin [etc.]$cSpringer$dcopyr. 2007
215   $aXX, 738 p.$cill.$d24 cm
225 2 $aLecture notes in computer science$v4424
410  0$12001$aLecture notes in computer science$v4424
702  1$aGRUMBERG,$bOrna
702  1$aHUTH,$bMichael
710 12$aInternational Conference, TACAS 2007-Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007$d<13;$eBraga$f2007;>$0598729
801  0$aITA$bsalbc$gISBD
912   $a990002990430203316
951   $a001 LNCS 4424$b34619/CBS$c001$d00217119
959   $aSP
969   $aSCI
979   $aSENATORE$b90$c20071016$lUSA01$h1214
979   $aSENATORE$b90$c20071030$lUSA01$h1059
979   $aSENATORE$b90$c20071030$lUSA01$h1100
979   $aANGELA$b90$c20080306$lUSA01$h1211
996   $aTools and algorithms for the construction and analysis of systems$91029293
997   $aUNISA