![](/img/cover-not-exists.png)
[IEEE 2006 Formal Methods in Computer Aided Design - San Jose, CA (2006.11.12-2006.11.12)] 2006 Formal Methods in Computer Aided Design - Enabling Large-Scale Pervasive Logic Verification through Multi-Algorithmic Formal Reasoning
Glokler, Tilman, Baumgartner, Jason, Shanmugam, Devi, Seigler, Rick, Huben, Gary, Ramanandray, Barinjato, Mony, Hari, Roessler, PaulYear:
2006
Language:
english
DOI:
10.1109/fmcad.2006.12
File:
PDF, 195 KB
english, 2006