LEADER 01589oam  2200421zu 450 
001 9910376068703321
005 20240606213933.0
035   $a(CKB)3170000000004253
035   $a(SSID)ssj0000812235
035   $a(PQKBManifestationID)11513073
035   $a(PQKBTitleCode)TC0000812235
035   $a(PQKBWorkID)10859666
035   $a(PQKB)11680897
035   $a(Association for Computing Machinery)10.1145/1808877
035   $a(EXLCZ)993170000000004253
100   $a20160829d2010      uy 
101 0 $aeng
135   $aurnn#008mam|a
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 00$aProceedings of the 2010 Icse Workshop on Quantitative Stochastic Models in the Verification and Design of Software Systems
210 31$a[Place of publication not identified] :$cAssociation for Computing Machinery,$d2010.
215   $a1 online resource (50 pages)
225 0 $aACM Conferences.
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a1-60558-972-1 
517 3 $aQUOVADIS '10
606   $aInformation Technology$xComputer Science (Hardware & Networks)
615  4$aInformation Technology$xComputer Science (Hardware & Networks)
700   $aGhezzi$b Carlo$08004
702   $aGhezzi$b Carlo
712 02$aAssociation for Computing Machinery-Digital Library.
801  0$bPQKB
906   $aBOOK
912   $a9910376068703321
996   $aProceedings of the 2010 Icse Workshop on Quantitative Stochastic Models in the Verification and Design of Software Systems$92080555
997   $aUNINA