๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

[IEEE 2008 Formal Methods in Computer-Aided Design (FMCAD) - Portland, OR, USA (2008.11.17-2008.11.20)] 2008 Formal Methods in Computer-Aided Design - Invariant-Strengthened Elimination of Dependent State Elements

โœ Scribed by Case, Michael L.; Mishchenko, Alan; Brayton, Robert K.; Baumgartner, Jason; Mony, Hari


Book ID
126702573
Publisher
IEEE
Year
2008
Weight
370 KB
Category
Article
ISBN
1424427355

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES