01514oam 2200469zu 450 991037648560332120210807001950.0(CKB)3170000000002634(SSID)ssj0001137916(PQKBManifestationID)11640493(PQKBTitleCode)TC0001137916(PQKBWorkID)11131333(PQKB)10787233(WaSeSS)IndRDA00015607(Association for Computing Machinery)10.1145/1123058(EXLCZ)99317000000000263420160829d2005 uy engur|||||||||||txtccrProceedings of the 2005 Conference on Specification and Verification of Component-Based Systems[Place of publication not identified]ACM20051 online resource (95 pages)ACM ConferencesBibliographic Level Mode of Issuance: Monograph1-59593-371-9 ACM ConferencesSAVCBS '05Engineering & Applied SciencesHILCCComputer ScienceHILCCEngineering & Applied SciencesComputer ScienceLeavens Gary T855850Leavens Gary TACM SigsoftPQKBBOOK9910376485603321Proceedings of the 2005 Conference on Specification and Verification of Component-Based Systems2080583UNINA