13. ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2015, Austin, TX, USA, September 21-23, 2015. IEEE, 2015. [doi]
Conference: memocode2015
@proceedings{memocode-2015,
title = {13. ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2015, Austin, TX, USA, September 21-23, 2015},
year = {2015},
url = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7329076},
researchr = {https://researchr.org/publication/memocode-2015},
cites = {0},
citedby = {0},
booktitle = {13. ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2015, Austin, TX, USA, September 21-23, 2015},
conference = {memocode},
publisher = {IEEE},
isbn = {978-1-5090-0237-5},
}