journal£ºFoundations and Trends(R) in Electronic Design Automation
Authors£ºAlbert Benveniste; Benoit Caillaud; Dejan Nickovic; Roberto Passerone; Jean-Baptiste Raclet; Philipp Reinkemeier; Alberto Sangiovanni-Vincentelli; Werner Damm; Thomas A. Henzinger; Kim G. Larsen
Published date£º2018--
DOI£º10.1561/1000000053
PDF link£ºhttp://www.nowpublishers.com/article/Download/EDA-053
Article link£ºhttp://dx.doi.org/10.1561/1000000053
Article Source£ºNow Publishers¡£
Remark£º |