BibTeX
@inproceedings{DBLP:conf/iccad/TaylorRBA01,
author = {Scott A. Taylor and
Carl Ramey and
Craig Barner and
David Asher},
title = {A Simulation-Based Method for the Verification of Shared
Memory in Multiprocessor Systems},
booktitle = {ICCAD},
year = {2001},
pages = {10-17},
ee = {http://www.sigda.org/Archives/ProceedingArchives/Iccad/Iccad2001/papers/2001/iccad01/htmfiles/sun_sgi/iccadabs.htm\#01a_2},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Copyright © 2002-02-19 by Michael Ley (ley@uni-trier.de)