Matches in Wikidata for { <http://www.wikidata.org/entity/Q62041168> ?p ?o ?g. }
- Q62041168 description "2013 nî lūn-bûn" @default.
- Q62041168 description "2013年の論文" @default.
- Q62041168 description "2013年学术文章" @default.
- Q62041168 description "2013年学术文章" @default.
- Q62041168 description "2013年学术文章" @default.
- Q62041168 description "2013年学术文章" @default.
- Q62041168 description "2013年学术文章" @default.
- Q62041168 description "2013年学术文章" @default.
- Q62041168 description "2013年學術文章" @default.
- Q62041168 description "2013年學術文章" @default.
- Q62041168 description "2013年學術文章" @default.
- Q62041168 description "2013年學術文章" @default.
- Q62041168 description "2013年學術文章" @default.
- Q62041168 description "2013년 논문" @default.
- Q62041168 description "article científic" @default.
- Q62041168 description "article scientific" @default.
- Q62041168 description "article scientifique" @default.
- Q62041168 description "articol științific" @default.
- Q62041168 description "articolo scientifico" @default.
- Q62041168 description "artigo científico" @default.
- Q62041168 description "artigo científico" @default.
- Q62041168 description "artigo científico" @default.
- Q62041168 description "artikel ilmiah" @default.
- Q62041168 description "artikull shkencor" @default.
- Q62041168 description "artikulong pang-agham" @default.
- Q62041168 description "artykuł naukowy" @default.
- Q62041168 description "artículo científico publicado en 2013" @default.
- Q62041168 description "artículu científicu" @default.
- Q62041168 description "bilimsel makale" @default.
- Q62041168 description "bài báo khoa học" @default.
- Q62041168 description "naučni članak" @default.
- Q62041168 description "scienca artikolo" @default.
- Q62041168 description "scientific article published in 2013" @default.
- Q62041168 description "scientific article published in 2013" @default.
- Q62041168 description "scientific article published in 2013" @default.
- Q62041168 description "teaduslik artikkel" @default.
- Q62041168 description "tieteellinen artikkeli" @default.
- Q62041168 description "tudományos cikk" @default.
- Q62041168 description "vedecký článok" @default.
- Q62041168 description "vetenskaplig artikel" @default.
- Q62041168 description "videnskabelig artikel" @default.
- Q62041168 description "vitenskapelig artikkel" @default.
- Q62041168 description "vitskapeleg artikkel" @default.
- Q62041168 description "vědecký článek" @default.
- Q62041168 description "wetenschappelijk artikel" @default.
- Q62041168 description "wissenschaftlicher Artikel" @default.
- Q62041168 description "επιστημονικό άρθρο" @default.
- Q62041168 description "мақолаи илмӣ" @default.
- Q62041168 description "наукова стаття, опублікована у 2013" @default.
- Q62041168 description "научна статия" @default.
- Q62041168 description "научная статья" @default.
- Q62041168 description "научни чланак" @default.
- Q62041168 description "научни чланак" @default.
- Q62041168 description "מאמר מדעי" @default.
- Q62041168 description "مقالة علمية نشرت في 2013" @default.
- Q62041168 description "২০১৩-এ প্রকাশিত বৈজ্ঞানিক নিবন্ধ" @default.
- Q62041168 description "บทความทางวิทยาศาสตร์" @default.
- Q62041168 description "სამეცნიერო სტატია" @default.
- Q62041168 name "Efficient Analysis of Reliability Architectures via Predicate Abstraction" @default.
- Q62041168 name "Efficient Analysis of Reliability Architectures via Predicate Abstraction" @default.
- Q62041168 type Item @default.
- Q62041168 label "Efficient Analysis of Reliability Architectures via Predicate Abstraction" @default.
- Q62041168 label "Efficient Analysis of Reliability Architectures via Predicate Abstraction" @default.
- Q62041168 prefLabel "Efficient Analysis of Reliability Architectures via Predicate Abstraction" @default.
- Q62041168 prefLabel "Efficient Analysis of Reliability Architectures via Predicate Abstraction" @default.
- Q62041168 P1433 Q62041168-B3FCAE8B-1E72-407B-8FF2-B0ADA5C2CDBF @default.
- Q62041168 P1476 Q62041168-63BD86BC-4606-4178-82CA-B9E5D0B60F08 @default.
- Q62041168 P2093 Q62041168-0F729B01-8037-48AB-A098-7FF2282CA0DC @default.
- Q62041168 P2093 Q62041168-36AB2F3A-F4B5-4CFC-91C2-88F88986F616 @default.
- Q62041168 P2860 Q62041168-16B6146C-1B4C-417B-B8C7-F4683CD1B7CE @default.
- Q62041168 P2860 Q62041168-1A9C2704-E168-4A00-83DE-48585887C224 @default.
- Q62041168 P2860 Q62041168-61C4FAD1-CCF8-4838-9F5C-C4634352976C @default.
- Q62041168 P2860 Q62041168-8C7FF858-A2C1-4752-AA72-3393730F143A @default.
- Q62041168 P2860 Q62041168-9DBBC892-54C7-4EEF-BFEE-53D8FD805C0F @default.
- Q62041168 P2860 Q62041168-C6F38A66-68C2-472E-9914-682095E9530C @default.
- Q62041168 P2860 Q62041168-C94192BC-47B6-4B6F-863E-60CAF5CF9A22 @default.
- Q62041168 P2860 Q62041168-D570A315-EEAB-4D0B-832B-F7F646CFABE7 @default.
- Q62041168 P2860 Q62041168-E305D92A-06B6-4677-ACA7-E7189E529CC8 @default.
- Q62041168 P2860 Q62041168-EE402F93-0626-445F-88C8-7E9FC3A733FD @default.
- Q62041168 P304 Q62041168-74C3B60D-5D8B-427F-AC24-885BC93F8DFD @default.
- Q62041168 P31 Q62041168-48E384C2-F6EB-45D0-8E26-56FAE0382786 @default.
- Q62041168 P356 Q62041168-F0901895-6E2C-4FA9-A008-CE833F7EB55D @default.
- Q62041168 P407 Q62041168-78405E7B-534A-4A61-A30D-D1A2D9357A6C @default.
- Q62041168 P50 Q62041168-DBA6D781-5716-4051-9FAA-53760C53DBBF @default.
- Q62041168 P577 Q62041168-916171CF-2316-417D-AA46-F3CAAF285A30 @default.
- Q62041168 P8978 Q62041168-A7205760-68AD-4F04-987E-4FD8B81FBDC6 @default.
- Q62041168 P356 978-3-319-03077-7_19 @default.
- Q62041168 P8978 BozzanoCM13 @default.
- Q62041168 P1433 Q924044 @default.
- Q62041168 P1476 "Efficient Analysis of Reliability Architectures via Predicate Abstraction" @default.
- Q62041168 P2093 "Cristian Mattarei" @default.
- Q62041168 P2093 "Marco Bozzano" @default.
- Q62041168 P2860 Q56028213 @default.
- Q62041168 P2860 Q57801850 @default.
- Q62041168 P2860 Q62041166 @default.
- Q62041168 P2860 Q62041178 @default.
- Q62041168 P2860 Q62041183 @default.
- Q62041168 P2860 Q62041188 @default.
- Q62041168 P2860 Q62041324 @default.
- Q62041168 P2860 Q62041379 @default.