LEADER 01478oam  2200481zu 450 
001 9910145621403321
005 20241212215420.0
010   $a9781509090754
010   $a1509090754
035   $a(CKB)1000000000278380
035   $a(SSID)ssj0000454280
035   $a(PQKBManifestationID)11321250
035   $a(PQKBTitleCode)TC0000454280
035   $a(PQKBWorkID)10397815
035   $a(PQKB)10362842
035   $a(WaSeSS)IndRDA00037496
035   $a(Association for Computing Machinery)10.5555/3041403
035   $a(EXLCZ)991000000000278380
100   $a20160829d2006      uy 
101 0 $aeng
135   $aur|||||||||||
181   $ctxt
182   $cc
183   $acr
200 10$a2006 IEEE/ACM 4th International Conference on Formal Methods and Models for Co-Design
210 31$a[Place of publication not identified]$cI E E E$d2006
215   $a1 online resource (204 pages)
225 1 $aACM Conferences
300   $aBibliographic Level Mode of Issuance: Monograph
311 08$a9781424404216 
311 08$a1424404215 
410  0$aACM Conferences
517 3 $aMEMOCODE '06
606   $aEngineering & Applied Sciences$2HILCC
606   $aComputer Science$2HILCC
615  7$aEngineering & Applied Sciences
615  7$aComputer Science
712 02$aACM Special Interest Group on Design Automation
801  0$bPQKB
906   $aPROCEEDING
912   $a9910145621403321
996   $a2006 IEEE$91924933
997   $aUNINA