Inproceedings,
Scalable Hybrid Verification of Complex Microprocessors.
M. Mneimneh, F. Aloul, C. Weaver, S. Chatterjee, K. Sakallah, and T. Austin.DAC, page 41-46. ACM, (2001)
Meta data
- BibTeX key
- conf/dac/MneimnehAWCSA01
- entry type
- inproceedings
- booktitle
- DAC
- year
- 2001
- pages
- 41-46
- publisher
- ACM
- crossref
- conf/dac/2001
- ee
- https://doi.org/10.1145/378239.378265
- isbn
- 1-58113-297-2
- url
- http://dblp.uni-trier.de/db/conf/dac/dac2001.html#MneimnehAWCSA01
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/dac/MneimnehAWCSA01
%A Mneimneh, Maher N.
%A Aloul, Fadi A.
%A Weaver, Christopher T.
%A Chatterjee, Saugata
%A Sakallah, Karem A.
%A Austin, Todd M.
%B DAC
%D 2001
%I ACM
%K dblp
%P 41-46
%T Scalable Hybrid Verification of Complex Microprocessors.
%U http://dblp.uni-trier.de/db/conf/dac/dac2001.html#MneimnehAWCSA01
%@ 1-58113-297-2
@inproceedings{conf/dac/MneimnehAWCSA01,
added-at = {2018-11-06T00:00:00.000+0100},
author = {Mneimneh, Maher N. and Aloul, Fadi A. and Weaver, Christopher T. and Chatterjee, Saugata and Sakallah, Karem A. and Austin, Todd M.},
biburl = {https://www.bibsonomy.org/bibtex/2632abb950e74ce59e8520f4e2814682b/dblp},
booktitle = {DAC},
crossref = {conf/dac/2001},
ee = {https://doi.org/10.1145/378239.378265},
interhash = {6aa81fab71ebd2500f2e162a14977024},
intrahash = {632abb950e74ce59e8520f4e2814682b},
isbn = {1-58113-297-2},
keywords = {dblp},
pages = {41-46},
publisher = {ACM},
timestamp = {2018-11-07T15:12:46.000+0100},
title = {Scalable Hybrid Verification of Complex Microprocessors.},
url = {http://dblp.uni-trier.de/db/conf/dac/dac2001.html#MneimnehAWCSA01},
year = 2001
}