𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A survey of recent advances in SAT-based formal verification

✍ Scribed by Mukul R. Prasad; Armin Biere; Aarti Gupta


Publisher
Springer
Year
2005
Tongue
English
Weight
499 KB
Volume
7
Category
Article
ISSN
1433-2779

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


ChemInform Abstract: Recent Advances in
✍ Silvia Garcia-Rubin; Jesus A. Varela; Luis Castedo; Carlos Saa πŸ“‚ Article πŸ“… 2009 πŸ› John Wiley and Sons βš– 53 KB πŸ‘ 2 views

## Abstract ChemInform is a weekly Abstracting Service, delivering concise information at a glance that was extracted from about 200 leading journals. To access a ChemInform Abstract of an article which was published elsewhere, please select a β€œFull Text” option. The original article is trackable v