LEADER 01302nam2-2200361---450-
001 990003323490203316
005 20091002113236.0
010   $a978-3-642-02137-4
035   $a000332349
035   $aUSA01000332349
035   $a(ALEPH)000332349USA01
035   $a000332349
100   $a20091002d2009----km-y0itay0103----ba
101   $aeng
102   $aDE
105   $aa|||||||001yy
200 1 $aFormal techniques for networked and distributed systems$e29th IFIP WG 6.1 international conference FORTE 2009$eLisboa, Portugal, june 9-12, 2009$eproceedings$fDavid Lee...[et al.](Eds.)
210   $aBerlin [etc.]$cSpringer$dcopyr. 2009
215   $aVI, 248 p.$cill.$d24 cm
225 2 $aLecture notes in computer science$v5522
410  1$1001000314960$12001$aLecture notes in computer science$v5522
606   $aSistemi distribuiti$xCongressi$yLisboa$z2009
676   $a004.36
702  1$aLEE,$bDavid
710 12$aIFIP WG 6.1 international conference$d<29.;$f2009;$eLisboa>$0606057
801  0$aITA$bsalbc$gISBD
912   $a990003323490203316
951   $a001 LNCS 5522$b38419/CBS$c001$d00222261
959   $aBK
969   $aSCI
979   $aRSIAV7$b90$c20091002$lUSA01$h1132
996   $aFormal techniques for networked and distributed systems$91121539
997   $aUNISA