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/tphol/KaivolaA00
%A Kaivola, Roope
%A Aagaard, Mark D.
%B TPHOLs
%D 2000
%E Aagaard, Mark D.
%E Harrison, John
%I Springer
%K dblp
%P 338-355
%T Divider Circuit Verification with Model Checking and Theorem Proving.
%U http://dblp.uni-trier.de/db/conf/tphol/tphol2000.html#KaivolaA00
%V 1869
%@ 3-540-67863-8
@inproceedings{conf/tphol/KaivolaA00,
added-at = {2020-01-10T00:00:00.000+0100},
author = {Kaivola, Roope and Aagaard, Mark D.},
biburl = {https://www.bibsonomy.org/bibtex/2749b4cc3dc8da61b5b739686c6dec161/dblp},
booktitle = {TPHOLs},
crossref = {conf/tphol/2000},
editor = {Aagaard, Mark D. and Harrison, John},
ee = {https://doi.org/10.1007/3-540-44659-1_21},
interhash = {34b95f5c9c304fc5f8f4d550f792b09f},
intrahash = {749b4cc3dc8da61b5b739686c6dec161},
isbn = {3-540-67863-8},
keywords = {dblp},
pages = {338-355},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2024-04-09T11:51:26.000+0200},
title = {Divider Circuit Verification with Model Checking and Theorem Proving.},
url = {http://dblp.uni-trier.de/db/conf/tphol/tphol2000.html#KaivolaA00},
volume = 1869,
year = 2000
}