LEADER 01292nam--2200361---450-
001 990002964050203316
005 20070821114256.0
010   $a3-540-29189-X
035   $a000296405
035   $aUSA01000296405
035   $a(ALEPH)000296405USA01
035   $a000296405
100   $a20070821d2005----km-y0itay0103----ba
101   $aeng
102   $aDE
105   $aa|||||||001yy
200 1 $aFormal Techniques for Networked and Distributed Systems - FORTE 2005$e25th IFIP WG 6.1 International Conference$eTaipei. Taiwan, October 2-5, 2005$eproceedings$fFarn Wang(Ed.)
210   $aBerlin [etc.]$cSpringer$dcopyr. 2005
215   $aXII, 558 p.$cill.$d24 cm
225 2 $aLecture notes in computer science$v3731
410   $12001$aLecture notes in computer science$v3731
606   $aSistemi distribuiti$xCongressi$yTaipei$z20054
676   $a004.36
702  1$aWANG,$bFarn
710 12$aIFIP WG 6.1 International Conference$d<25. ;$f2005 ;$eTaipei>$0597952
801  0$aIT$bsalbc$gISBD
912   $a990002964050203316
951   $a001 LNCS 3731$b32437/CBS$c001$d00112757
959   $aBK
969   $aSCI
979   $aSENATORE$b90$c20070821$lUSA01$h1142
996   $aFormal Techniques for Networked and Distributed Systems - FORTE 2005$91026693
997   $aUNISA