Inproceedings,
Using Transformations and Verification in Circuit Design.
J. Saxe, J. Guttag, J. Horning, and S. Garland.Larch, page 201-226. Springer, (1992)
Meta data
- BibTeX key
- conf/larch/SaxeGHG92
- entry type
- inproceedings
- booktitle
- Larch
- year
- 1992
- pages
- 201-226
- publisher
- Springer
- series
- Workshops in Computing
- crossref
- conf/larch/1992
- isbn
- 3-540-19804-0
- date
- 2003-02-20
- url
- http://dblp.uni-trier.de/db/conf/larch/larch1992.html#SaxeGHG92
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/larch/SaxeGHG92
%A Saxe, James B.
%A Guttag, John V.
%A Horning, James J.
%A Garland, Stephen J.
%B Larch
%D 1992
%E Martin, Ursula
%E Wing, Jeannette M.
%I Springer
%K dblp
%P 201-226
%T Using Transformations and Verification in Circuit Design.
%U http://dblp.uni-trier.de/db/conf/larch/larch1992.html#SaxeGHG92
%@ 3-540-19804-0
@inproceedings{conf/larch/SaxeGHG92,
added-at = {2003-02-20T00:00:00.000+0100},
author = {Saxe, James B. and Guttag, John V. and Horning, James J. and Garland, Stephen J.},
biburl = {https://www.bibsonomy.org/bibtex/27702bc95830960e1ed47b9d94853be43/dblp},
booktitle = {Larch},
crossref = {conf/larch/1992},
date = {2003-02-20},
description = {dblp},
editor = {Martin, Ursula and Wing, Jeannette M.},
interhash = {3c9aada5ad2fd80b6dd7e3f92d1ddc19},
intrahash = {7702bc95830960e1ed47b9d94853be43},
isbn = {3-540-19804-0},
keywords = {dblp},
pages = {201-226},
publisher = {Springer},
series = {Workshops in Computing},
timestamp = {2003-02-20T00:00:00.000+0100},
title = {Using Transformations and Verification in Circuit Design.},
url = {http://dblp.uni-trier.de/db/conf/larch/larch1992.html#SaxeGHG92},
year = 1992
}