LEADER 01486oam  2200505zu 450 
001 9910141133103321
005 20241212220109.0
010   $a9781457701184
010   $a1457701189
035   $a(CKB)2670000000097609
035   $a(SSID)ssj0000669370
035   $a(PQKBManifestationID)12310160
035   $a(PQKBTitleCode)TC0000669370
035   $a(PQKBWorkID)10709035
035   $a(PQKB)11182128
035   $a(Non_Seri)133589
035   $a(NjHacI)992670000000097609
035   $a(Association for Computing Machinery)10.5555/3041411
035   $a(EXLCZ)992670000000097609
100   $a20160829d2011      uy 
101 0 $aeng
135   $aur|||||||||||
181   $ctxt
182   $cc
183   $acr
200 10$a2011 9th IEEE/ACM International Conference on Formal Methods and Models for Codesign
210 31$a[Place of publication not identified]$cIEEE$d2011
215   $a1 online resource
225 1 $aACM Conferences
300   $aBibliographic Level Mode of Issuance: Monograph
311 08$a9781457701177 
311 08$a1457701170 
410  0$aACM Conferences
517 3 $aMEMOCODE '11
606   $aComputer simulation$vCongresses
606   $aComputer-aided design$vCongresses
615  0$aComputer simulation
615  0$aComputer-aided design
676   $a003.3
702   $aIEEE Staff
801  0$bPQKB
906   $aPROCEEDING
912   $a9910141133103321
996   $a2011 9th IEEE$92208328
997   $aUNINA