LEADER 01554oam  2200433zu 450 
001 9910375809003321
005 20210807002223.0
035   $a(CKB)3170000000004027
035   $a(SSID)ssj0000812295
035   $a(PQKBManifestationID)12379249
035   $a(PQKBTitleCode)TC0000812295
035   $a(PQKBWorkID)10859517
035   $a(PQKB)11436441
035   $a(Association for Computing Machinery)10.1145/1596486
035   $a(EXLCZ)993170000000004027
100   $a20160829d2009      uy 
101 0 $aeng
135   $aurnn|008mam|a
181   $ctxt
182   $cc
183   $acr
200 00$aProceedings of the 8th International Workshop on Specification and Verification of Component-Based Systems
210 31$a[Place of publication not identified]$cAssociation for Computing Machinery$d2009
215   $a1 online resource (42 p.;) 
225 1 $aACM Conferences
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a1-60558-680-3 
410  0$aACM Conferences
517 3 $aSAVCBS '09
606   $aInformation Technology$xComputer Science (Hardware & Networks)
615  4$aInformation Technology$xComputer Science (Hardware & Networks)
700   $aHuisman$b Marieke$0995291
702   $aHuisman$bMarieke
712 02$aAssociation for Computing Machinery-Digital Library.
801  0$bPQKB
906   $aBOOK
912   $a9910375809003321
996   $aProceedings of the 8th International Workshop on Specification and Verification of Component-Based Systems$92280211
997   $aUNINA