Twelfth ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2014, Lausanne, Switzerland, October 19-21, 2014
| Title | Twelfth ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2014, Lausanne, Switzerland, October 19-21, 2014 |
| Publication Type | Conference Proceedings |
| Year of Publication | 2014 |
| Publisher | IEEE |
| Keywords | 1329759 |
| URL | http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6950639 |
| Citation Key | DBLP:conf/memocode/2014 |