Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research
| Original language | English |
|---|---|
| Title of host publication | Eighth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010) |
| Publisher | Institute of Electrical and Electronics Engineers Inc. |
| Pages | 85-88 |
| ISBN (Electronic) | 9781424478859 |
| ISBN (Print) | 9781424478866 |
| State | Published - 2010 |
ID: 4695572