LEADER 01608oam 2200481zu 450 001 9910376484703321 005 20210807001950.0 035 $a(CKB)3170000000002645 035 $a(SSID)ssj0001137952 035 $a(PQKBManifestationID)11976273 035 $a(PQKBTitleCode)TC0001137952 035 $a(PQKBWorkID)11126210 035 $a(PQKB)10513070 035 $a(WaSeSS)IndRDA00015659 035 $a(Association for Computing Machinery)10.1145/1138953 035 $a(EXLCZ)993170000000002645 100 $a20160829d2006 uy 101 0 $aeng 135 $aur||||||||||| 181 $ctxt 182 $cc 183 $acr 200 10$aProceedings of the 2006 International Workshop on Scenarios and State Machines : Models, Algorithms, and Tools 210 31$a[Place of publication not identified]$cACM$d2006 215 $a1 online resource (90 pages) 225 1 $aACM Conferences 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a1-59593-394-8 410 0$aACM Conferences 517 1 $aSCESM '06 606 $aEngineering & Applied Sciences$2HILCC 606 $aComputer Science$2HILCC 615 7$aEngineering & Applied Sciences 615 7$aComputer Science 700 $aWhittle$b Jon$0927699 702 $aGeiger$b Leif 702 $aWhittle$b Jon 712 02$aAssociation for Computing Machinery-Digital Library. 801 0$bPQKB 906 $aBOOK 912 $a9910376484703321 996 $aProceedings of the 2006 International Workshop on Scenarios and State Machines : Models, Algorithms, and Tools$92084309 997 $aUNINA