Matches in Wikidata for { <http://www.wikidata.org/entity/Q55897168> ?p ?o ?g. }
Showing items 1 to 54 of
54
with 100 items per page.
- Q55897168 description "im Februar 2014 veröffentlichter wissenschaftlicher Artikel" @default.
- Q55897168 description "wetenschappelijk artikel" @default.
- Q55897168 description "наукова стаття, опублікована в лютому 2014" @default.
- Q55897168 name "Comprehensive formal verification of an OS microkernel" @default.
- Q55897168 name "Comprehensive formal verification of an OS microkernel" @default.
- Q55897168 type Item @default.
- Q55897168 label "Comprehensive formal verification of an OS microkernel" @default.
- Q55897168 label "Comprehensive formal verification of an OS microkernel" @default.
- Q55897168 prefLabel "Comprehensive formal verification of an OS microkernel" @default.
- Q55897168 prefLabel "Comprehensive formal verification of an OS microkernel" @default.
- Q55897168 P1433 Q55897168-D1D80ED0-EC4B-45A4-8230-251463B5C7A4 @default.
- Q55897168 P1476 Q55897168-BB7BCC5F-F66D-4132-B324-16403099C37E @default.
- Q55897168 P2093 Q55897168-32F6EC28-70BD-45C9-A4E4-F5CF89217111 @default.
- Q55897168 P2093 Q55897168-39C3F265-7011-4236-8FD0-42387087B88F @default.
- Q55897168 P2093 Q55897168-641FA540-D084-4BD5-81D4-D9AE7342FD71 @default.
- Q55897168 P2093 Q55897168-6C64F838-D238-4870-9ACB-FFC91E1B363C @default.
- Q55897168 P2093 Q55897168-B8D9754C-3974-481F-A76C-41DA1857A153 @default.
- Q55897168 P2093 Q55897168-FB7BD760-A050-41D9-B914-E7572C8FF459 @default.
- Q55897168 P2860 Q55897168-56876E8E-5F16-45C8-98B0-5AB362E4F0D2 @default.
- Q55897168 P2860 Q55897168-5D782CFE-CD37-4686-8B74-B1105BC026FF @default.
- Q55897168 P2860 Q55897168-A3A53040-E5AE-4FEB-B1C7-070DBF590B3E @default.
- Q55897168 P2860 Q55897168-C6CCFD52-D47B-408C-AEBF-6E5FC7655BB4 @default.
- Q55897168 P304 Q55897168-27E5A76E-2F41-40AA-A0D4-FAD776FEE030 @default.
- Q55897168 P31 Q55897168-04C79A99-1B28-43F8-B031-C8FC14E47252 @default.
- Q55897168 P356 Q55897168-1C72C6E7-0599-45AA-9545-7456C24DE7F8 @default.
- Q55897168 P433 Q55897168-23AE1303-8179-4372-A883-01D3629855D1 @default.
- Q55897168 P478 Q55897168-FA75F90C-FB91-488D-A8F8-0A04F8CB8DDA @default.
- Q55897168 P50 Q55897168-77A4F163-32B2-4C47-8D48-72154B15CFDC @default.
- Q55897168 P577 Q55897168-0568B878-D105-44BC-8D4E-C919265D5593 @default.
- Q55897168 P5875 Q55897168-06007201-0673-4483-B476-732216349EB0 @default.
- Q55897168 P8978 Q55897168-141CCB63-9A3E-4137-AB87-2BA93042ADFE @default.
- Q55897168 P356 2560537 @default.
- Q55897168 P8978 KleinAEMSKH14 @default.
- Q55897168 P1433 Q15752815 @default.
- Q55897168 P1476 "Comprehensive formal verification of an OS microkernel" @default.
- Q55897168 P2093 "Gernot Heiser" @default.
- Q55897168 P2093 "June Andronick" @default.
- Q55897168 P2093 "Kevin Elphinstone" @default.
- Q55897168 P2093 "Rafal Kolanski" @default.
- Q55897168 P2093 "Thomas Sewell" @default.
- Q55897168 P2093 "Toby Murray" @default.
- Q55897168 P2860 Q55878732 @default.
- Q55897168 P2860 Q55897162 @default.
- Q55897168 P2860 Q56057488 @default.
- Q55897168 P2860 Q56142439 @default.
- Q55897168 P304 "1-70" @default.
- Q55897168 P31 Q13442814 @default.
- Q55897168 P356 "10.1145/2560537" @default.
- Q55897168 P433 "1" @default.
- Q55897168 P478 "32" @default.
- Q55897168 P50 Q88908200 @default.
- Q55897168 P577 "2014-02-26T00:00:00Z" @default.
- Q55897168 P5875 "262350163" @default.
- Q55897168 P8978 "journals/tocs/KleinAEMSKH14" @default.