LEADER 01417oam  2200481zu 450 
001 9910145389303321
005 20241212215629.0
010   $a9781509078004
010   $a1509078002
035   $a(CKB)1000000000710693
035   $a(SSID)ssj0000453706
035   $a(PQKBManifestationID)12128875
035   $a(PQKBTitleCode)TC0000453706
035   $a(PQKBWorkID)10481704
035   $a(PQKB)11756323
035   $a(Non_Seri)133636
035   $a(NjHacI)991000000000710693
035   $a(Association for Computing Machinery)10.5555/3041407
035   $a(EXLCZ)991000000000710693
100   $a20160829d2008      uy 
101 0 $aeng
135   $aur|||||||||||
181   $ctxt
182   $cc
183   $acr
200 10$a2008 6th IEEE/ACM International Conference on Formal Methods and Models for Codesign
210 31$a[Place of publication not identified]$cI E E E$d2008
215   $a1 online resource (vi, 205 pages)
225 1 $aACM Conferences
300   $aBibliographic Level Mode of Issuance: Monograph
311 08$a9781424424177 
311 08$a1424424178 
410  0$aACM Conferences
517 3 $aMEMOCODE '08
606   $aComputer simulation$vCongresses
615  0$aComputer simulation
676   $a003.3
702   $aIEEE Staff
801  0$bPQKB
906   $aPROCEEDING
912   $a9910145389303321
996   $a2008 6th IEEE$92120399
997   $aUNINA