LEADER 01507oam 2200505zu 450 001 9910140836603321 005 20241212220012.0 010 $a9781424478866 010 $a1424478863 035 $a(CKB)2670000000038201 035 $a(SSID)ssj0000452438 035 $a(PQKBManifestationID)12167303 035 $a(PQKBTitleCode)TC0000452438 035 $a(PQKBWorkID)10470388 035 $a(PQKB)10866637 035 $a(Non_Seri)133346 035 $a(NjHacI)992670000000038201 035 $a(Association for Computing Machinery)10.5555/3041410 035 $a(EXLCZ)992670000000038201 100 $a20160829d2010 uy 101 0 $aeng 135 $aur||||||||||| 181 $ctxt 182 $cc 183 $acr 200 10$a2010 8th IEEE/ACM International Conference on Formal Methods and Models for Codesign 210 31$a[Place of publication not identified]$cIEEE$d2010 215 $a1 online resource 225 1 $aACM Conferences 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a9781424478859 311 08$a1424478855 410 0$aACM Conferences 517 3 $aMEMOCODE '10 606 $aFormal methods (Computer science)$vCongresses 606 $aComputer simulation$vCongresses 615 0$aFormal methods (Computer science) 615 0$aComputer simulation 676 $a004.0151 702 $aieee 801 0$bPQKB 906 $aPROCEEDING 912 $a9910140836603321 996 $a2010 8th IEEE$91924916 997 $aUNINA