Inproceedings,
Using "Test Model-Checking" to Verify the Runway-PA8000 Memory Model.
R. Ghughal, A. Mokkedem, R. Nalumasu, and G. Gopalakrishnan.SPAA, page 231-239. ACM, (1998)
Meta data
- BibTeX key
- conf/spaa/GhughalMNG98
- entry type
- inproceedings
- booktitle
- SPAA
- year
- 1998
- pages
- 231-239
- publisher
- ACM
- crossref
- conf/spaa/1998
- ee
- https://doi.org/10.1145/277651.277689
- isbn
- 0-89791-989-0
- url
- http://dblp.uni-trier.de/db/conf/spaa/spaa98.html#GhughalMNG98
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/spaa/GhughalMNG98
%A Ghughal, Rajnish
%A Mokkedem, Abdelillah
%A Nalumasu, Ratan
%A Gopalakrishnan, Ganesh
%B SPAA
%D 1998
%E Miller, Gary L.
%E Gibbons, Phillip B.
%I ACM
%K dblp
%P 231-239
%T Using "Test Model-Checking" to Verify the Runway-PA8000 Memory Model.
%U http://dblp.uni-trier.de/db/conf/spaa/spaa98.html#GhughalMNG98
%@ 0-89791-989-0
@inproceedings{conf/spaa/GhughalMNG98,
added-at = {2018-11-21T00:00:00.000+0100},
author = {Ghughal, Rajnish and Mokkedem, Abdelillah and Nalumasu, Ratan and Gopalakrishnan, Ganesh},
biburl = {https://www.bibsonomy.org/bibtex/2a05b4bfcd99c8c0624471a79952b56a1/dblp},
booktitle = {SPAA},
crossref = {conf/spaa/1998},
editor = {Miller, Gary L. and Gibbons, Phillip B.},
ee = {https://doi.org/10.1145/277651.277689},
interhash = {3a9eea491eb37d11d6216f138e95adb7},
intrahash = {a05b4bfcd99c8c0624471a79952b56a1},
isbn = {0-89791-989-0},
keywords = {dblp},
pages = {231-239},
publisher = {ACM},
timestamp = {2018-11-22T11:50:38.000+0100},
title = {Using "Test Model-Checking" to Verify the Runway-PA8000 Memory Model.},
url = {http://dblp.uni-trier.de/db/conf/spaa/spaa98.html#GhughalMNG98},
year = 1998
}