Meta data
- BibTeX key
- conf/dac/NelsonJB97
- entry type
- inproceedings
- booktitle
- DAC
- year
- 1997
- pages
- 161-166
- publisher
- ACM Press
- crossref
- conf/dac/1997
- ee
- http://doi.acm.org/10.1145/266021.266055
- isbn
- 0-89791-920-3
- url
- http://dblp.uni-trier.de/db/conf/dac/dac97.html#NelsonJB97
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/dac/NelsonJB97
%A Nelson, Kyle L.
%A Jain, Alok
%A Bryant, Randal E.
%B DAC
%D 1997
%E Yoffa, Ellen J.
%E Micheli, Giovanni De
%E Rabaey, Jan M.
%I ACM Press
%K dblp
%P 161-166
%T Formal Verification of a Superscalar Execution Unit.
%U http://dblp.uni-trier.de/db/conf/dac/dac97.html#NelsonJB97
%@ 0-89791-920-3
@inproceedings{conf/dac/NelsonJB97,
added-at = {2017-03-16T00:00:00.000+0100},
author = {Nelson, Kyle L. and Jain, Alok and Bryant, Randal E.},
biburl = {https://www.bibsonomy.org/bibtex/2df09b8b8862ff79053e1bbbec2c226e9/dblp},
booktitle = {DAC},
crossref = {conf/dac/1997},
editor = {Yoffa, Ellen J. and Micheli, Giovanni De and Rabaey, Jan M.},
ee = {http://doi.acm.org/10.1145/266021.266055},
interhash = {3bcf46add96ac734fac2bbef9cd604b3},
intrahash = {df09b8b8862ff79053e1bbbec2c226e9},
isbn = {0-89791-920-3},
keywords = {dblp},
pages = {161-166},
publisher = {ACM Press},
timestamp = {2017-03-17T11:40:13.000+0100},
title = {Formal Verification of a Superscalar Execution Unit.},
url = {http://dblp.uni-trier.de/db/conf/dac/dac97.html#NelsonJB97},
year = 1997
}