Rankings
Publications
Search Publications
Cited-By Search
Sources
Publishers
Scholars
Scholars
Top Cited Scholars
Organizations
About
Login
Register
Home
Publications
Logic verification algorithms and their parallel implementation
Home
Publications
Logic verification algorithms and their parallel implementation
Logic verification algorithms and their parallel implementation
HM
H.-K. T. Ma
H.-K. T. Ma
SD
S. Devadas
S. Devadas
A. Sangiovanni-Vincentelli
A. Sangiovanni-Vincentelli
RW
R. Wei
R. Wei
Publisher Website
Google Scholar
Add to library
Cite
Download
Share
Download
1 January 1987
proceedings article
Published by
Association for Computing Machinery (ACM)
p.
283-290
https://doi.org/10.1145/37888.37931
Abstract
No abstract available
Cited by 33 articles