Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 conf/dac/AagaardJKKS00
%A Aagaard, Mark D.
%A Jones, Robert B.
%A Kaivola, Roope
%A Kohatsu, Katherine R.
%A Seger, Carl-Johan H.
%B DAC
%D 2000
%E Micheli, Giovanni De
%I ACM
%K dblp
%P 201-206
%T Formal verification of iterative algorithms in microprocessors.
%U http://dblp.uni-trier.de/db/conf/dac/dac2000.html#AagaardJKKS00
@inproceedings{conf/dac/AagaardJKKS00,
added-at = {2020-01-10T00:00:00.000+0100},
author = {Aagaard, Mark D. and Jones, Robert B. and Kaivola, Roope and Kohatsu, Katherine R. and Seger, Carl-Johan H.},
biburl = {https://www.bibsonomy.org/bibtex/2d5b39e0babbda6cdbe72a35f10826c10/dblp},
booktitle = {DAC},
crossref = {conf/dac/2000},
editor = {Micheli, Giovanni De},
ee = {https://doi.org/10.1145/337292.337388},
interhash = {ea79bf370050b16656fcab3d8ebe6224},
intrahash = {d5b39e0babbda6cdbe72a35f10826c10},
keywords = {dblp},
pages = {201-206},
publisher = {ACM},
timestamp = {2020-01-11T11:44:49.000+0100},
title = {Formal verification of iterative algorithms in microprocessors.},
url = {http://dblp.uni-trier.de/db/conf/dac/dac2000.html#AagaardJKKS00},
year = 2000
}