01436oam 2200457zu 450 99621027690331620230831161952.01-4673-1313-0(CKB)3420000000000607(SSID)ssj0000781150(PQKBManifestationID)12367094(PQKBTitleCode)TC0000781150(PQKBWorkID)10804026(PQKB)11331891(Non_Seri)133628(NjHacI)993420000000000607(Association for Computing Machinery)10.5555/3041409(EXLCZ)99342000000000060720160829d2012 uy engur|||||||||||txtrdacontentcrdamediacrrdacarrier2012 10th IEEE/ACM International Conference on Formal Methods and Models for Codesign[Place of publication not identified]IEEE20121 online resourceACM ConferencesBibliographic Level Mode of Issuance: Monograph1-4673-1314-9 ACM ConferencesMEMOCODE '12Formal methods (Computer science)Formal methods (Computer science)004.0151Institute of Electrical and Electronics Engineers,PQKBPROCEEDING9962102769033162012 10th IEEE1943014UNISA