HOME > Books > DetailPost-Silicon and Runtime Verification for Modern ProcessorsIlya Wagner, Valeria Bertacco. /books?q=book_title_text%3A%22%22 . 2011.NIMS author(s)Fulltext and dataset(s) on Materials Data Repository (MDR)Created at: 2019-03-20 11:53:40 +0900 Updated at: 2019-03-20 11:53:40 +0900