![](/img/cover-not-exists.png)
[IEEE 2011 9th IEEE/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE 2011) - Cambridge, United Kingdom (2011.07.11-2011.07.13)] Ninth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMPCODE2011) - Mining assumptions for synthesis
Li, Wenchao, Dworkin, Lili, Seshia, Sanjit A.Year:
2011
Language:
english
DOI:
10.1109/memcod.2011.5970509
File:
PDF, 379 KB
english, 2011