01417oam 2200481zu 450 991014538930332120241212215629.097815090780041509078002(CKB)1000000000710693(SSID)ssj0000453706(PQKBManifestationID)12128875(PQKBTitleCode)TC0000453706(PQKBWorkID)10481704(PQKB)11756323(Non_Seri)133636(NjHacI)991000000000710693(Association for Computing Machinery)10.5555/3041407(EXLCZ)99100000000071069320160829d2008 uy engur|||||||||||txtccr2008 6th IEEE/ACM International Conference on Formal Methods and Models for Codesign[Place of publication not identified]I E E E20081 online resource (vi, 205 pages)ACM ConferencesBibliographic Level Mode of Issuance: Monograph9781424424177 1424424178 ACM ConferencesMEMOCODE '08Computer simulationCongressesComputer simulation003.3IEEE StaffPQKBPROCEEDING99101453893033212008 6th IEEE2120399UNINA