LEADER 01493oam  2200481zu 450 
001 9910130826603321
005 20241212220409.0
010   $a9781467313131
010   $a1467313130
035   $a(CKB)3420000000000607
035   $a(SSID)ssj0000781150
035   $a(PQKBManifestationID)12367094
035   $a(PQKBTitleCode)TC0000781150
035   $a(PQKBWorkID)10804026
035   $a(PQKB)11331891
035   $a(Non_Seri)133628
035   $a(NjHacI)993420000000000607
035   $a(Association for Computing Machinery)10.5555/3041409
035   $a(EXLCZ)993420000000000607
100   $a20160829d2012      uy 
101 0 $aeng
135   $aur|||||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$a2012 10th IEEE/ACM International Conference on Formal Methods and Models for Codesign
210 31$a[Place of publication not identified]$cIEEE$d2012
215   $a1 online resource
225 1 $aACM Conferences
300   $aBibliographic Level Mode of Issuance: Monograph
311 08$a9781467313148 
311 08$a1467313149 
410  0$aACM Conferences
517 3 $aMEMOCODE '12
606   $aFormal methods (Computer science)
615  0$aFormal methods (Computer science)
676   $a004.0151
712 02$aInstitute of Electrical and Electronics Engineers,
801  0$bPQKB
906   $aPROCEEDING
912   $a9910130826603321
996   $a2012 10th IEEE$91943014
997   $aUNINA