%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 }