LEADER 01532nam--2200409---450-
001 990002964550203316
005 20070822133120.0
010   $a3-540-28584-9
035   $a000296455
035   $aUSA01000296455
035   $a(ALEPH)000296455USA01
035   $a000296455
100   $a20070822d2005----km-y0itay0103----ba
101 0 $aeng
102   $aDE
105   $aa|||||||001yy
200 1 $aFormal techniques for computer systems and business processes$eeuropean performance engineering workshop, EPEW 2005 and international workshop on web services and formal methods, WS-FM 2005$eVersailles, France, September 1-3, 2005$eproceedings$fMario Bravetti, Leila Kloul, Gianluigi Zavattaro (eds.)
210   $aBerlin [etc.]$cSpringer$dcopyr. 2005
215   $aXIII, 348 p.$cill.$d24 cm.
225 2 $aLecture notes in computer science$v3670
410  0$12001$aLecture notes in computer science$v3670
454  1$12001
461  1$1001-------$12001
606   $aInformatica$xCongressi$yVersailles$z2005
676   $a005.1
702  1$aBRAVETTI,$bMario
702  1$aKLOUL,$bLeila
702  1$aZAVATTARO,$bGianluigi
710 12$aInternational symposium, SAS 2005$f<2005 ;$eVersailles>$0597994
801  0$aIT$bsalbc$gISBD
912   $a990002964550203316
951   $a001 LNCS 3670$b32309/CBS$c001 LNCS$d00112833
959   $aBK
969   $aSCI
979   $aSENATORE$b90$c20070822$lUSA01$h1331
996   $aFormal techniques for computer systems and business processes$91026619
997   $aUNISA