Matches in Wikidata for { <http://www.wikidata.org/entity/Q113317769> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- Q113317769 description "2015 nî lūn-bûn" @default.
- Q113317769 description "2015年の論文" @default.
- Q113317769 description "2015年学术文章" @default.
- Q113317769 description "2015年学术文章" @default.
- Q113317769 description "2015年学术文章" @default.
- Q113317769 description "2015年学术文章" @default.
- Q113317769 description "2015年学术文章" @default.
- Q113317769 description "2015年学术文章" @default.
- Q113317769 description "2015年學術文章" @default.
- Q113317769 description "2015年學術文章" @default.
- Q113317769 description "2015年學術文章" @default.
- Q113317769 description "2015年學術文章" @default.
- Q113317769 description "2015年學術文章" @default.
- Q113317769 description "2015년 논문" @default.
- Q113317769 description "article científic" @default.
- Q113317769 description "article scientific" @default.
- Q113317769 description "article scientifique" @default.
- Q113317769 description "articol științific" @default.
- Q113317769 description "articolo scientifico" @default.
- Q113317769 description "artigo científico" @default.
- Q113317769 description "artigo científico" @default.
- Q113317769 description "artigo científico" @default.
- Q113317769 description "artikel ilmiah" @default.
- Q113317769 description "artikull shkencor" @default.
- Q113317769 description "artikulong pang-agham" @default.
- Q113317769 description "artykuł naukowy" @default.
- Q113317769 description "artículo científico publicado en 2015" @default.
- Q113317769 description "artículu científicu espublizáu en payares de 2015" @default.
- Q113317769 description "bilimsel makale" @default.
- Q113317769 description "bài báo khoa học" @default.
- Q113317769 description "naučni članak" @default.
- Q113317769 description "scienca artikolo" @default.
- Q113317769 description "scientific article published on 18 November 2015" @default.
- Q113317769 description "scientific article published on 18 November 2015" @default.
- Q113317769 description "scientific article published on 18 November 2015" @default.
- Q113317769 description "teaduslik artikkel" @default.
- Q113317769 description "tieteellinen artikkeli" @default.
- Q113317769 description "tudományos cikk" @default.
- Q113317769 description "vedecký článok" @default.
- Q113317769 description "vetenskaplig artikel" @default.
- Q113317769 description "videnskabelig artikel udgivet 18. november 2015" @default.
- Q113317769 description "vitenskapelig artikkel" @default.
- Q113317769 description "vitskapeleg artikkel" @default.
- Q113317769 description "vědecký článek" @default.
- Q113317769 description "wetenschappelijk artikel" @default.
- Q113317769 description "wissenschaftlicher Artikel" @default.
- Q113317769 description "επιστημονικό άρθρο" @default.
- Q113317769 description "мақолаи илмӣ" @default.
- Q113317769 description "наукова стаття, опублікована в листопаді 2015" @default.
- Q113317769 description "научна статия" @default.
- Q113317769 description "научная статья" @default.
- Q113317769 description "научни чланак" @default.
- Q113317769 description "научни чланак" @default.
- Q113317769 description "מאמר מדעי" @default.
- Q113317769 description "مقالة بحثية نشرت في 18 نوفمبر 2015" @default.
- Q113317769 description "১৮ নভেম্বর ২০১৫-এ প্রকাশিত বৈজ্ঞানিক নিবন্ধ" @default.
- Q113317769 description "บทความทางวิทยาศาสตร์" @default.
- Q113317769 description "სამეცნიერო სტატია" @default.
- Q113317769 name "Numerically-aided Deductive Safety Proof for a Powertrain Control System" @default.
- Q113317769 type Item @default.
- Q113317769 label "Numerically-aided Deductive Safety Proof for a Powertrain Control System" @default.
- Q113317769 prefLabel "Numerically-aided Deductive Safety Proof for a Powertrain Control System" @default.
- Q113317769 P1433 Q113317769-2A56A112-11B4-4496-8247-F92418174626 @default.
- Q113317769 P1476 Q113317769-2BC342FF-3C9A-4C3B-9F0E-F0E24A00F2A5 @default.
- Q113317769 P2093 Q113317769-0A3A9E3B-937B-42A4-8124-6846288DA68D @default.
- Q113317769 P2093 Q113317769-2D02348B-5F97-4729-B6D1-5173221D4B97 @default.
- Q113317769 P2093 Q113317769-338D0923-16DD-48D8-B5C0-1DB8E532975F @default.
- Q113317769 P2093 Q113317769-3F94AA8F-E6E1-433F-8F70-7A96C8D3938E @default.
- Q113317769 P2093 Q113317769-CF0A372B-C10D-4E96-9FFE-C0A1F210CCFB @default.
- Q113317769 P304 Q113317769-BA4F1EF2-F114-4A66-96E5-4E3DF827ACAD @default.
- Q113317769 P31 Q113317769-6090227A-E8EB-45B9-B61E-6A8563626D64 @default.
- Q113317769 P356 Q113317769-C8A72E4D-96AB-4CC1-814A-61FC5926E8B0 @default.
- Q113317769 P478 Q113317769-147FA828-BBDC-4B62-AA1F-48900F4179AD @default.
- Q113317769 P577 Q113317769-771E8B54-A7A7-44F0-9C16-04D2F9C11143 @default.
- Q113317769 P6104 Q113317769-75C2C434-51BD-4302-8D40-EDDE795A0678 @default.
- Q113317769 P894 Q113317769-1ADB332B-2636-4EFD-9BE7-A936991EA917 @default.
- Q113317769 P356 J.ENTCS.2015.10.003 @default.
- Q113317769 P1433 Q5358287 @default.
- Q113317769 P1476 "Numerically-aided Deductive Safety Proof for a Powertrain Control System" @default.
- Q113317769 P2093 "André Platzer" @default.
- Q113317769 P2093 "Bruce Krogh" @default.
- Q113317769 P2093 "James Kapinski" @default.
- Q113317769 P2093 "Jyotirmoy V. Deshmukh" @default.
- Q113317769 P2093 "Nikos Aréchiga" @default.
- Q113317769 P304 "19-25" @default.
- Q113317769 P31 Q13442814 @default.
- Q113317769 P356 "10.1016/J.ENTCS.2015.10.003" @default.
- Q113317769 P478 "317" @default.
- Q113317769 P577 "2015-11-18T00:00:00Z" @default.
- Q113317769 P6104 Q8487137 @default.
- Q113317769 P894 "1351.68150" @default.