Пожалуйста, войдите в систему, чтобы принять участие в дискуссии (добавить собственные рецензию, или комментарий)
Цитировать эту публикацию
%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
}