LEADER 01561nam 2200481zu 450 001 9910375878403321 005 20210807005221.0 035 $a(CKB)3780000000084316 035 $a(SSID)ssj0001138385 035 $a(PQKBManifestationID)11727081 035 $a(PQKBTitleCode)TC0001138385 035 $a(PQKBWorkID)11131674 035 $a(PQKB)11352723 035 $a(WaSeSS)IndRDA00013447 035 $a(Association for Computing Machinery)10.1145/2422518 035 $a(EXLCZ)993780000000084316 100 $a20160829d2012 uy 101 0 $aeng 135 $aur||||||||||| 181 $ctxt 182 $cc 183 $acr 200 00$aProceedings of the 7th Workshop on Models@run.time : MRT 2012 : 2012, Innsbruck, Austria 210 31$a[Place of publication not identified]$cACM$d2012 215 $a1 online resource (66 pages) 225 1 $aACM Conferences 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a1-4503-1802-9 410 0$aACM Conferences 517 3 $aMRT '12 606 $aEngineering & Applied Sciences$2HILCC 606 $aComputer Science$2HILCC 615 7$aEngineering & Applied Sciences 615 7$aComputer Science 702 $aBencomo$b Nelly 702 $aBlair$b Gordon 702 $aGötz$b Sebastian 712 02$aAssociation for Computing Machinery-Digital Library. 801 0$bPQKB 906 $aBOOK 912 $a9910375878403321 996 $aProceedings of the 7th Workshop on Models@run.time : MRT 2012 : 2012, Innsbruck, Austria$92094261 997 $aUNINA