13. ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2015, Austin, TX, USA, September 21-23, 2015

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

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.