Home
About
Browse
Browse by Year
Browse by Research Area
Browse by Division
Browse by Author
Data Privacy Policy
Impressum
Login
Items where Author is "
He, Mengda
"
Up a level
Export as
ASCII Citation
BibTeX
Dublin Core
EP3 XML
EndNote
HTML Citation
JSON
METS
Multiline CSV
Object IDs
OpenURL ContextObject
RDF+N-Triples
RDF+N3
RDF+XML
Refer
Reference Manager
Atom
RSS 1.0
RSS 2.0
Group by:
Item Type
|
No Grouping
Number of items:
1
.
He, Mengda
and
Vafeiadis, Viktor
and
Qin, Shengchao
and
Ferreira, João F.
(2016)
Reasoning about Fences and Relaxed Atomics.
In: 24th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, PDP 2016, Heraklion, Crete, Greece, February 17-19, 2016.
This list was generated on
Sat Dec 7 06:05:50 2024 CET
.