01362oam 2200457zu 450 991014538930332120210807002958.01-5090-7800-2(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: Monograph1-4244-2417-8 ACM ConferencesMEMOCODE '08Computer simulationCongressesComputer simulation003.3IEEE StaffPQKBPROCEEDING99101453893033212008 6th IEEE2120399UNINA