01486oam 2200505zu 450 991014113310332120241212220109.097814577011841457701189(CKB)2670000000097609(SSID)ssj0000669370(PQKBManifestationID)12310160(PQKBTitleCode)TC0000669370(PQKBWorkID)10709035(PQKB)11182128(Non_Seri)133589(NjHacI)992670000000097609(Association for Computing Machinery)10.5555/3041411(EXLCZ)99267000000009760920160829d2011 uy engur|||||||||||txtccr2011 9th IEEE/ACM International Conference on Formal Methods and Models for Codesign[Place of publication not identified]IEEE20111 online resourceACM ConferencesBibliographic Level Mode of Issuance: Monograph9781457701177 1457701170 ACM ConferencesMEMOCODE '11Computer simulationCongressesComputer-aided designCongressesComputer simulationComputer-aided design003.3IEEE StaffPQKBPROCEEDING99101411331033212011 9th IEEE2208328UNINA