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/ifip10-2/SaxeGGH92
%A Saxe, James B.
%A Garland, Stephen J.
%A Guttag, John V.
%A Horning, James J.
%B Designing Correct Circuits
%D 1992
%E Staunstrup, Jørgen
%E Sharp, Robin
%I North-Holland
%K dblp
%P 1-25
%T Using Transformations and Verification in Ciruit Design.
%U http://dblp.uni-trier.de/db/conf/ifip10-2/ifip10-2-1992a.html#SaxeGGH92
%V A-5
%@ 0-444-89335-0
@inproceedings{conf/ifip10-2/SaxeGGH92,
added-at = {2002-02-19T00:00:00.000+0100},
author = {Saxe, James B. and Garland, Stephen J. and Guttag, John V. and Horning, James J.},
biburl = {https://www.bibsonomy.org/bibtex/241a259992245fcd91577c2e18551c7c0/dblp},
booktitle = {Designing Correct Circuits},
crossref = {conf/ifip10-2/1992a},
date = {2002-02-19},
description = {dblp},
editor = {Staunstrup, Jørgen and Sharp, Robin},
interhash = {10fd9148c7c390403c572252ecaf38b3},
intrahash = {41a259992245fcd91577c2e18551c7c0},
isbn = {0-444-89335-0},
keywords = {dblp},
pages = {1-25},
publisher = {North-Holland},
series = {IFIP Transactions},
timestamp = {2002-02-19T00:00:00.000+0100},
title = {Using Transformations and Verification in Ciruit Design.},
url = {http://dblp.uni-trier.de/db/conf/ifip10-2/ifip10-2-1992a.html#SaxeGGH92},
volume = {A-5},
year = 1992
}