@inproceedings{DBLP:conf/amast/VuZJ08,
author = {Thuy Duong Vu and
Li Zhang and
Chris R. Jesshope},
title = {The Verification of the On-Chip COMA Cache Coherence Protocol},
booktitle = {AMAST},
year = {2008},
pages = {413-429},
ee = {http://dx.doi.org/10.1007/978-3-540-79980-1_31},
crossref = {DBLP:conf/amast/2008},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/amast/2008,
editor = {Jos{\'e} Meseguer and
Grigore Rosu},
title = {Algebraic Methodology and Software Technology, 12th International
Conference, AMAST 2008, Urbana, IL, USA, July 28-31, 2008,
Proceedings},
booktitle = {AMAST},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {5140},
year = {2008},
isbn = {978-3-540-79979-5},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Last update 2009-06-09 CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
