Opening book details…
About this scholarly article
Proceedings of the 28th conference on ACM/IEEE design automation conference - DAC '91 - Representing circuits more efficiently in symbolic model checking by Burch, J. R.; Clarke, E. M.; Long, D. E. is a scholarly article available to read on EtoBox.
- Author
- Burch, J. R.; Clarke, E. M.; Long, D. E.
- Publisher
- ACM Press
- Published
- 1991
- Language
- EN
More by Burch, J. R.; Clarke, E. M.; Long, D. E.
Browse all works by Burch, J. R.; Clarke, E. M.; Long, D. E.