학술논문
A consistency checker for memory subsystem traces
Document Type
Conference Paper
Author
Source
In: Proceedings of the 16th Conference on Formal Methods in Computer-Aided Design, FMCAD 2016 , Proceedings of the 16th Conference on Formal Methods in Computer-Aided Design, FMCAD 2016. (Proceedings of the 16th Conference on Formal Methods in Computer-Aided Design, FMCAD 2016, 24 March 2017, :133-140)
Subject
Language
English