01589oam 2200421zu 450 991037606870332120240606213933.0(CKB)3170000000004253(SSID)ssj0000812235(PQKBManifestationID)11513073(PQKBTitleCode)TC0000812235(PQKBWorkID)10859666(PQKB)11680897(Association for Computing Machinery)10.1145/1808877(EXLCZ)99317000000000425320160829d2010 uy engurnn#008mam|atxtrdacontentcrdamediacrrdacarrierProceedings of the 2010 Icse Workshop on Quantitative Stochastic Models in the Verification and Design of Software Systems[Place of publication not identified] :Association for Computing Machinery,2010.1 online resource (50 pages)ACM Conferences.Bibliographic Level Mode of Issuance: Monograph1-60558-972-1 QUOVADIS '10Information TechnologyComputer Science (Hardware & Networks)Information TechnologyComputer Science (Hardware & Networks)Ghezzi Carlo8004Ghezzi CarloAssociation for Computing Machinery-Digital Library.PQKBBOOK9910376068703321Proceedings of the 2010 Icse Workshop on Quantitative Stochastic Models in the Verification and Design of Software Systems2080555UNINA