Matches in DBpedia 2016-04 for { <http://doi.org/10.1145/2560537> ?p ?o }
Showing triples 1 to 28 of
28
with 100 triples per page.
- 2560537 date "February 2014".
- 2560537 doi "10.1145/2560537".
- 2560537 first1 "Gerwin".
- 2560537 first2 "June".
- 2560537 first3 "Kevin".
- 2560537 first4 "Toby".
- 2560537 first5 "Thomas".
- 2560537 first6 "Rafal".
- 2560537 first7 "Gernot".
- 2560537 format "PDF".
- 2560537 isCitedBy L4_microkernel_family.
- 2560537 isCitedBy Microkernel.
- 2560537 issue "1".
- 2560537 journal "ACM Transactions on Computer Systems".
- 2560537 last1 "Klein".
- 2560537 last2 "Andronick".
- 2560537 last3 "Elphinstone".
- 2560537 last4 "Murray".
- 2560537 last5 "Sewell".
- 2560537 last6 "Kolanski".
- 2560537 last7 "Heiser".
- 2560537 page "64".
- 2560537 pages "2:1–2:70".
- 2560537 title "Comprehensive Formal Verification of an OS Microkernel".
- 2560537 title "Comprehensive formal verification of an OS microkernel".
- 2560537 url pub?doc=7371&filename=Klein_AEMSKH_14.pdf.
- 2560537 volume "32".
- 2560537 year "2014".