LEADER 01450oam  2200481zu 450 
001 996200711803316
005 20210807001428.0
010   $a1-4244-7886-3
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   $a1-4244-7885-5 
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   $a996200711803316
996   $a2010 8th IEEE$91924916
997   $aUNISA