Inproceedings,
Verification of the Futurebus+ Cache Coherence Protocol.
E. Clarke, O. Grumberg, H. Hiraishi, S. Jha, D. Long, K. McMillan, and L. Ness.CHDL, volume A-32 of IFIP Transactions, page 15-30. North-Holland, (1993)
Meta data
- BibTeX key
- conf/chdl/ClarkeGHJLMN93
- entry type
- inproceedings
- booktitle
- CHDL
- year
- 1993
- pages
- 15-30
- publisher
- North-Holland
- series
- IFIP Transactions
- volume
- A-32
- crossref
- conf/chdl/1993
- isbn
- 0-444-81641-0
- date
- 2002-01-03
- url
- http://dblp.uni-trier.de/db/conf/chdl/chdl1993.html#ClarkeGHJLMN93
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/chdl/ClarkeGHJLMN93
%A Clarke, Edmund M.
%A Grumberg, Orna
%A Hiraishi, Hiromi
%A Jha, Somesh
%A Long, David E.
%A McMillan, Kenneth L.
%A Ness, Linda A.
%B CHDL
%D 1993
%E Agnew, David
%E Claesen, Luc J. M.
%E Camposano, Raul
%I North-Holland
%K dblp
%P 15-30
%T Verification of the Futurebus+ Cache Coherence Protocol.
%U http://dblp.uni-trier.de/db/conf/chdl/chdl1993.html#ClarkeGHJLMN93
%V A-32
%@ 0-444-81641-0
@inproceedings{conf/chdl/ClarkeGHJLMN93,
added-at = {2002-01-03T00:00:00.000+0100},
author = {Clarke, Edmund M. and Grumberg, Orna and Hiraishi, Hiromi and Jha, Somesh and Long, David E. and McMillan, Kenneth L. and Ness, Linda A.},
biburl = {https://www.bibsonomy.org/bibtex/236eaaaf2f44d58ba6932ce3713becf8f/dblp},
booktitle = {CHDL},
crossref = {conf/chdl/1993},
date = {2002-01-03},
description = {dblp},
editor = {Agnew, David and Claesen, Luc J. M. and Camposano, Raul},
interhash = {a8c9a626fb968dc522ccd28032dcc6e4},
intrahash = {36eaaaf2f44d58ba6932ce3713becf8f},
isbn = {0-444-81641-0},
keywords = {dblp},
pages = {15-30},
publisher = {North-Holland},
series = {IFIP Transactions},
timestamp = {2002-01-03T00:00:00.000+0100},
title = {Verification of the Futurebus+ Cache Coherence Protocol.},
url = {http://dblp.uni-trier.de/db/conf/chdl/chdl1993.html#ClarkeGHJLMN93},
volume = {A-32},
year = 1993
}