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/tc/VroomenZBH89
%A Vroomen, Louis J.
%A Zsombor-Murray, Paul J.
%A Baracos, P.
%A Hudson, Robert D.
%D 1989
%J IEEE Trans. Computers
%K dblp
%N 6
%P 880-881
%T Comments on Älgorithmic State Machine Design and Automatic Theorem Proving: Dual Approaches to the Same Activity".
%U http://dblp.uni-trier.de/db/journals/tc/tc38.html#VroomenZBH89
%V 38
@article{journals/tc/VroomenZBH89,
added-at = {2015-12-22T00:00:00.000+0100},
author = {Vroomen, Louis J. and Zsombor-Murray, Paul J. and Baracos, P. and Hudson, Robert D.},
biburl = {https://www.bibsonomy.org/bibtex/256036dea6e3b2a772828f64a08de2740/dblp},
ee = {http://doi.ieeecomputersociety.org/10.1109/12.24299},
interhash = {a60e4c5b3793368cb4af6c89af377fb1},
intrahash = {56036dea6e3b2a772828f64a08de2740},
journal = {IEEE Trans. Computers},
keywords = {dblp},
number = 6,
pages = {880-881},
timestamp = {2015-12-24T11:50:33.000+0100},
title = {Comments on "Algorithmic State Machine Design and Automatic Theorem Proving: Dual Approaches to the Same Activity".},
url = {http://dblp.uni-trier.de/db/journals/tc/tc38.html#VroomenZBH89},
volume = 38,
year = 1989
}