Matches in DBpedia 2016-04 for { <http://doi.org/10.1007/978-3-319-12154-3_8> ?p ?o }
Showing triples 1 to 15 of
15
with 100 triples per page.
- 978-3-319-12154-3_8 chapter "Store Buffer Reduction with MMUs".
- 978-3-319-12154-3_8 doi "10.1007/978-3-319-12154-3_8".
- 978-3-319-12154-3_8 first1 "G.".
- 978-3-319-12154-3_8 first2 "E.".
- 978-3-319-12154-3_8 first3 "M.".
- 978-3-319-12154-3_8 isCitedBy MESI_protocol.
- 978-3-319-12154-3_8 isbn "978-3-319-12153-6".
- 978-3-319-12154-3_8 last1 "Chen".
- 978-3-319-12154-3_8 last2 "Cohen".
- 978-3-319-12154-3_8 last3 "Kovalev".
- 978-3-319-12154-3_8 pages "117".
- 978-3-319-12154-3_8 series "Lecture Notes in Computer Science".
- 978-3-319-12154-3_8 title "Verified Software: Theories, Tools and Experiments".
- 978-3-319-12154-3_8 volume "8471".
- 978-3-319-12154-3_8 year "2014".