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/AngeloVCM91
%A Angelo, Catia M.
%A Verkest, Diederik
%A Claesen, Luc J. M.
%A Man, Hugo De
%B TPHOLs
%D 1991
%E Archer, Myla
%E Joyce, Jeffrey J.
%E Levitt, Karl N.
%E Windley, Phillip J.
%I IEEE Computer Society
%K dblp
%P 340-347
%T Formal Hardware Verification in HOL and in Boyer-Moore: A Comparative Analysis.
%U http://dblp.uni-trier.de/db/conf/tphol/tphol1991.html#AngeloVCM91
@inproceedings{conf/tphol/AngeloVCM91,
added-at = {2002-01-03T00:00:00.000+0100},
author = {Angelo, Catia M. and Verkest, Diederik and Claesen, Luc J. M. and Man, Hugo De},
biburl = {https://puma.ub.uni-stuttgart.de/bibtex/27b3a9382f980ca6ed468a680bd76203a/dblp},
booktitle = {TPHOLs},
crossref = {conf/tphol/1991},
editor = {Archer, Myla and Joyce, Jeffrey J. and Levitt, Karl N. and Windley, Phillip J.},
interhash = {38f528ab94510600175a51c6602da9e1},
intrahash = {7b3a9382f980ca6ed468a680bd76203a},
keywords = {dblp},
pages = {340-347},
publisher = {IEEE Computer Society},
timestamp = {2016-02-02T14:29:24.000+0100},
title = {Formal Hardware Verification in HOL and in Boyer-Moore: A Comparative Analysis.},
url = {http://dblp.uni-trier.de/db/conf/tphol/tphol1991.html#AngeloVCM91},
year = 1991
}