000 00325nas a22000857a 4500
008 170117s9999 xx 000 0 und d
245 _aMEMOCODE: Formal Methods and Models for Co-Design
_h[e-journal]
260 _bAssociation for Computing Machinery
856 _uhttp://dl.acm.org/proceedings/memocode/
_yeSS consortium 2003 - 2009
999 _c553587
_d553587