01554oam 2200433zu 450 991037580900332120210807002223.0(CKB)3170000000004027(SSID)ssj0000812295(PQKBManifestationID)12379249(PQKBTitleCode)TC0000812295(PQKBWorkID)10859517(PQKB)11436441(Association for Computing Machinery)10.1145/1596486(EXLCZ)99317000000000402720160829d2009 uy engurnn|008mam|atxtccrProceedings of the 8th International Workshop on Specification and Verification of Component-Based Systems[Place of publication not identified]Association for Computing Machinery20091 online resource (42 p.;) ACM ConferencesBibliographic Level Mode of Issuance: Monograph1-60558-680-3 ACM ConferencesSAVCBS '09Information TechnologyComputer Science (Hardware & Networks)Information TechnologyComputer Science (Hardware & Networks)Huisman Marieke995291HuismanMariekeAssociation for Computing Machinery-Digital Library.PQKBBOOK9910375809003321Proceedings of the 8th International Workshop on Specification and Verification of Component-Based Systems2280211UNINA