Tenth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMCODE2012) > 21 - 23
Source
Abstract
Identifiers
book ISBN : | 978-1-4673-1314-8 |
book e-ISBN : | 978-1-4673-1313-1 |
DOI | 10.1109/MEMCOD.2012.6292296 |
book ISBN : | 978-1-4673-1314-8 |
book e-ISBN : | 978-1-4673-1313-1 |
DOI | 10.1109/MEMCOD.2012.6292296 |