Matches in Wikidata for { <http://www.wikidata.org/entity/Q110511829> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- Q110511829 description "2007 nî lūn-bûn" @default.
- Q110511829 description "2007年の論文" @default.
- Q110511829 description "2007年学术文章" @default.
- Q110511829 description "2007年学术文章" @default.
- Q110511829 description "2007年学术文章" @default.
- Q110511829 description "2007年学术文章" @default.
- Q110511829 description "2007年学术文章" @default.
- Q110511829 description "2007年學術文章" @default.
- Q110511829 description "2007年學術文章" @default.
- Q110511829 description "2007年學術文章" @default.
- Q110511829 description "2007年學術文章" @default.
- Q110511829 description "2007年學術文章" @default.
- Q110511829 description "2007年學術文章" @default.
- Q110511829 description "2007년 논문" @default.
- Q110511829 description "article científic" @default.
- Q110511829 description "article scientific" @default.
- Q110511829 description "article scientifique (publié 2007)" @default.
- Q110511829 description "articol științific" @default.
- Q110511829 description "articolo scientifico" @default.
- Q110511829 description "artigo científico (publicado na 2007)" @default.
- Q110511829 description "artigo científico (publicado na 2007)" @default.
- Q110511829 description "artigo científico" @default.
- Q110511829 description "artikel ilmiah" @default.
- Q110511829 description "artikull shkencor" @default.
- Q110511829 description "artikulong pang-agham" @default.
- Q110511829 description "artykuł naukowy" @default.
- Q110511829 description "artículo científico publicado en 2007" @default.
- Q110511829 description "artículu científicu" @default.
- Q110511829 description "bilimsel makale" @default.
- Q110511829 description "bài báo khoa học" @default.
- Q110511829 description "maqolai ilmiy" @default.
- Q110511829 description "mokslinis straipsnis" @default.
- Q110511829 description "naučni članak" @default.
- Q110511829 description "scienca artikolo" @default.
- Q110511829 description "scientific article" @default.
- Q110511829 description "teaduslik artikkel" @default.
- Q110511829 description "tieteellinen artikkeli" @default.
- Q110511829 description "tudományos cikk" @default.
- Q110511829 description "vedecký článok" @default.
- Q110511829 description "vetenskaplig artikel" @default.
- Q110511829 description "videnskabelig artikel (udgivet 2007)" @default.
- Q110511829 description "vitenskapelig artikkel" @default.
- Q110511829 description "vitskapeleg artikkel" @default.
- Q110511829 description "vědecký článek" @default.
- Q110511829 description "wetenschappelijk artikel" @default.
- Q110511829 description "wissenschaftlicher Artikel" @default.
- Q110511829 description "επιστημονικό άρθρο" @default.
- Q110511829 description "мақолаи илмӣ" @default.
- Q110511829 description "мақолаи илмӣ" @default.
- Q110511829 description "наукова стаття" @default.
- Q110511829 description "научна статия" @default.
- Q110511829 description "научная статья" @default.
- Q110511829 description "научни чланак" @default.
- Q110511829 description "научни чланак" @default.
- Q110511829 description "գիտական հոդված" @default.
- Q110511829 description "מאמר מדעי" @default.
- Q110511829 description "سائنسی مضمون" @default.
- Q110511829 description "مقالة علمية" @default.
- Q110511829 description "مقالهٔ علمی" @default.
- Q110511829 description "২০০৭-এ প্রকাশিত বৈজ্ঞানিক নিবন্ধ" @default.
- Q110511829 description "บทความทางวิทยาศาสตร์" @default.
- Q110511829 description "სამეცნიერო სტატია" @default.
- Q110511829 name "Translate One, Analyze Many: Leveraging the Microsoft Intermediate Language and Source Code Transformation for Model Checking" @default.
- Q110511829 type Item @default.
- Q110511829 label "Translate One, Analyze Many: Leveraging the Microsoft Intermediate Language and Source Code Transformation for Model Checking" @default.
- Q110511829 prefLabel "Translate One, Analyze Many: Leveraging the Microsoft Intermediate Language and Source Code Transformation for Model Checking" @default.
- Q110511829 P1433 Q110511829-636E582E-D37E-47FE-A105-1B30BAC02096 @default.
- Q110511829 P1476 Q110511829-52217BAE-CDD2-4902-80CB-CEA8ACA76BA4 @default.
- Q110511829 P2093 Q110511829-424C5F27-4165-4394-BAEC-E2FDBA637CA4 @default.
- Q110511829 P2093 Q110511829-E45AD64B-2A8F-438D-BBA1-0DB60AE1E088 @default.
- Q110511829 P304 Q110511829-65784A34-6B7C-4770-8EAC-6E72647714C2 @default.
- Q110511829 P31 Q110511829-17E77FFF-9A5C-40E3-A52A-64FCA8E29722 @default.
- Q110511829 P356 Q110511829-A0F98956-8CEF-49AC-A010-E161C56D37F6 @default.
- Q110511829 P433 Q110511829-D8FA9F81-7FC4-4388-85C0-D59E09D558FA @default.
- Q110511829 P478 Q110511829-55811BBB-0B88-4382-815B-0A0C6E32EB6B @default.
- Q110511829 P577 Q110511829-C597F7CA-8D85-4DB4-B729-E56989D07BC9 @default.
- Q110511829 P356 J.ENTCS.2007.02.057 @default.
- Q110511829 P1433 Q5358287 @default.
- Q110511829 P1476 "Translate One, Analyze Many: Leveraging the Microsoft Intermediate Language and Source Code Transformation for Model Checking" @default.
- Q110511829 P2093 "Jesse McGeachie" @default.
- Q110511829 P2093 "Juergen Dingel" @default.
- Q110511829 P304 "3-18" @default.
- Q110511829 P31 Q13442814 @default.
- Q110511829 P356 "10.1016/J.ENTCS.2007.02.057" @default.
- Q110511829 P433 "1" @default.
- Q110511829 P478 "190" @default.
- Q110511829 P577 "2007-07-01T00:00:00Z" @default.