LEADER 01558nam2-2200445li-450 
001 990000202950203316
005 20180312154757.0
010   $a3-540-55179-4
035   $a0020295
035   $aUSA010020295
035   $a(ALEPH)000020295USA01
035   $a0020295
100   $a20001109d1992----km-y0itay0103----ba
101 0 $aeng
102   $aGW
200 1 $aComputer aided verification$e3rd International workshop, CAV'91: Aalborg, Denmark, July 1-4, 1991: proceedings$fK. G. Larsen, A. Skou (eds.)
210   $aBerlin [etc.]$cSpringer-Verlag$dcopyr. 1992
215   $aX, 487 p.$cill.$d25 cm
225 2 $aLecture notes in computer science$v575
410  0$10010020264$12001$aLecture notes in computer science
610 1 $acongressi$aaalborg$a1991
610 1 $asistemi distribuiti$acongressi$a1991
610 1 $asistemi$amodelli matematici$acongressi$a1991
610 1 $asistemi$averifica$acongressi$a1991
676   $a003$9Sistemi
702  1$aLarsen,$bKim G.
702  1$aSkou,$bArne
710 12$aInternational workshop$bCAV'91$d3.$eAalborg$f1991$0753250
801   $aSistema bibliotecario di Ateneo dell' Università di Salerno$gRICA
912   $a990000202950203316
951   $a001 LNCS (575)$b0014414$c001$d00102680
959   $aBK
969   $aSCI
979   $c19940501
979   $c20001110$lUSA01$h1714
979   $aALANDI$b90$c20010126$lUSA01$h1234
979   $c20020403$lUSA01$h1628
979   $aPATRY$b90$c20040406$lUSA01$h1615
996   $aComputer aided verification$91515186
997   $aUNISA