Original language | English |
---|---|
Pages | 1-9 |
Number of pages | 9 |
DOIs | |
Publication status | Published - 13 Jul 2011 |
Event | Proceedings of the Ninth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2011) - Duration: 13 Jul 2011 → … |
Conference
Conference | Proceedings of the Ninth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2011) |
---|---|
Period | 13/07/11 → … |