Literature

Found 2 results
Export:[Tagged][XML][BibTex]
Sort by:[Year][Title][Type][Author]
Filters: author is Blanc  [Clear All Filters]
2010
Blanc, N., Kroening, D. , "Race Analysis for SystemC using Model Checking", ACM Transactions on Design Automation of Electronic Systems, vol. 15, issue 3: ACM, pp. 1-31, 05/2010. Abstract
 Export: Tagged XML BibTex
2008
Blanc, N., Kroening, D. , "Race Analysis for SystemC using Model Checking", ICCAD, San Jose, IEEE, 10/11/2008. Abstract
 Export: Tagged XML BibTex