01507oam 2200505zu 450 991014083660332120241212220012.097814244788661424478863(CKB)2670000000038201(SSID)ssj0000452438(PQKBManifestationID)12167303(PQKBTitleCode)TC0000452438(PQKBWorkID)10470388(PQKB)10866637(Non_Seri)133346(NjHacI)992670000000038201(Association for Computing Machinery)10.5555/3041410(EXLCZ)99267000000003820120160829d2010 uy engur|||||||||||txtccr2010 8th IEEE/ACM International Conference on Formal Methods and Models for Codesign[Place of publication not identified]IEEE20101 online resourceACM ConferencesBibliographic Level Mode of Issuance: Monograph9781424478859 1424478855 ACM ConferencesMEMOCODE '10Formal methods (Computer science)CongressesComputer simulationCongressesFormal methods (Computer science)Computer simulation004.0151ieeePQKBPROCEEDING99101408366033212010 8th IEEE1924916UNINA