Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Journal Article
%1 journals/fmsd/AngeloVCM93
%A Angelo, Catia M.
%A Verkest, Diederik
%A Claesen, Luc J. M.
%A Man, Hugo De
%D 1993
%J Formal Methods in System Design
%K dblp
%N 1
%P 45-72
%T On the Comparison of HOL and Boyer-Moore for Formal Hardware Verification.
%U http://dblp.uni-trier.de/db/journals/fmsd/fmsd2.html#AngeloVCM93
%V 2
@article{journals/fmsd/AngeloVCM93,
added-at = {2011-05-25T00:00:00.000+0200},
author = {Angelo, Catia M. and Verkest, Diederik and Claesen, Luc J. M. and Man, Hugo De},
biburl = {https://puma.ub.uni-stuttgart.de/bibtex/259d519509d661da29cbc6ad7f4e6f196/dblp},
ee = {http://dx.doi.org/10.1007/BF01383943},
interhash = {54217ff3af7884a6cb5f4e4abf401a78},
intrahash = {59d519509d661da29cbc6ad7f4e6f196},
journal = {Formal Methods in System Design},
keywords = {dblp},
number = 1,
pages = {45-72},
timestamp = {2016-02-02T01:14:15.000+0100},
title = {On the Comparison of HOL and Boyer-Moore for Formal Hardware Verification.},
url = {http://dblp.uni-trier.de/db/journals/fmsd/fmsd2.html#AngeloVCM93},
volume = 2,
year = 1993
}
