Matches in Wikidata for { <http://www.wikidata.org/entity/Q62041467> ?p ?o ?g. }
Showing items 1 to 99 of
99
with 100 items per page.
- Q62041467 description "1997 nî lūn-bûn" @default.
- Q62041467 description "1997年の論文" @default.
- Q62041467 description "1997年学术文章" @default.
- Q62041467 description "1997年学术文章" @default.
- Q62041467 description "1997年学术文章" @default.
- Q62041467 description "1997年学术文章" @default.
- Q62041467 description "1997年学术文章" @default.
- Q62041467 description "1997年学术文章" @default.
- Q62041467 description "1997年學術文章" @default.
- Q62041467 description "1997年學術文章" @default.
- Q62041467 description "1997年學術文章" @default.
- Q62041467 description "1997年學術文章" @default.
- Q62041467 description "1997年學術文章" @default.
- Q62041467 description "1997년 논문" @default.
- Q62041467 description "article científic" @default.
- Q62041467 description "article scientific" @default.
- Q62041467 description "article scientifique" @default.
- Q62041467 description "articol științific" @default.
- Q62041467 description "articolo scientifico" @default.
- Q62041467 description "artigo científico" @default.
- Q62041467 description "artigo científico" @default.
- Q62041467 description "artigo científico" @default.
- Q62041467 description "artikel ilmiah" @default.
- Q62041467 description "artikull shkencor" @default.
- Q62041467 description "artikulong pang-agham" @default.
- Q62041467 description "artykuł naukowy" @default.
- Q62041467 description "artículo científico publicado en 1997" @default.
- Q62041467 description "artículu científicu" @default.
- Q62041467 description "bilimsel makale" @default.
- Q62041467 description "bài báo khoa học" @default.
- Q62041467 description "naučni članak" @default.
- Q62041467 description "scienca artikolo" @default.
- Q62041467 description "scientific article published in 1997" @default.
- Q62041467 description "scientific article published in 1997" @default.
- Q62041467 description "scientific article published in 1997" @default.
- Q62041467 description "teaduslik artikkel" @default.
- Q62041467 description "tieteellinen artikkeli" @default.
- Q62041467 description "tudományos cikk" @default.
- Q62041467 description "vedecký článok" @default.
- Q62041467 description "vetenskaplig artikel" @default.
- Q62041467 description "videnskabelig artikel" @default.
- Q62041467 description "vitenskapelig artikkel" @default.
- Q62041467 description "vitskapeleg artikkel" @default.
- Q62041467 description "vědecký článek" @default.
- Q62041467 description "wetenschappelijk artikel" @default.
- Q62041467 description "wissenschaftlicher Artikel" @default.
- Q62041467 description "επιστημονικό άρθρο" @default.
- Q62041467 description "мақолаи илмӣ" @default.
- Q62041467 description "наукова стаття, опублікована в 1997" @default.
- Q62041467 description "научна статия" @default.
- Q62041467 description "научная статья" @default.
- Q62041467 description "научни чланак" @default.
- Q62041467 description "научни чланак" @default.
- Q62041467 description "מאמר מדעי" @default.
- Q62041467 description "مقالة علمية نشرت في 1997" @default.
- Q62041467 description "১৯৯৭-এ প্রকাশিত বৈজ্ঞানিক নিবন্ধ" @default.
- Q62041467 description "บทความทางวิทยาศาสตร์" @default.
- Q62041467 description "სამეცნიერო სტატია" @default.
- Q62041467 name "A provably correct embedded verifier for the certification of safety critical software" @default.
- Q62041467 name "A provably correct embedded verifier for the certification of safety critical software" @default.
- Q62041467 type Item @default.
- Q62041467 label "A provably correct embedded verifier for the certification of safety critical software" @default.
- Q62041467 label "A provably correct embedded verifier for the certification of safety critical software" @default.
- Q62041467 prefLabel "A provably correct embedded verifier for the certification of safety critical software" @default.
- Q62041467 prefLabel "A provably correct embedded verifier for the certification of safety critical software" @default.
- Q62041467 P1433 Q62041467-DFF5D601-726C-4D6E-962B-C6DF14C8FD82 @default.
- Q62041467 P1476 Q62041467-AF58D9DF-ED17-4A21-82F9-A1318301A72E @default.
- Q62041467 P2093 Q62041467-21869C8C-2D6F-467D-B496-DE78CD0CCE63 @default.
- Q62041467 P2093 Q62041467-588B17EC-E3CC-41CB-BD6C-D2B018B58294 @default.
- Q62041467 P2093 Q62041467-890FBAE1-532F-446A-8EB3-7A00358158FA @default.
- Q62041467 P2093 Q62041467-951E2AA2-BBEE-48A5-A1FE-ECF0C4FED025 @default.
- Q62041467 P2093 Q62041467-99DC86B1-7271-4F63-87EC-44CF5E97F392 @default.
- Q62041467 P2093 Q62041467-D3DBD311-91CA-4120-9674-82897042EDCA @default.
- Q62041467 P2093 Q62041467-E1FE03E8-A87E-49D1-AA4F-0B6990E53D24 @default.
- Q62041467 P304 Q62041467-409AF1CE-17CC-4773-8729-AB8666BBD8DE @default.
- Q62041467 P31 Q62041467-6624D042-2985-4FBC-81ED-68A521149692 @default.
- Q62041467 P356 Q62041467-D00ABD07-2EEB-4176-A43C-D8AB02D03930 @default.
- Q62041467 P407 Q62041467-C89DBED3-7C83-4065-991D-6EC529D54C94 @default.
- Q62041467 P50 Q62041467-4D6F4142-3F5F-4056-A749-56242CCD37A1 @default.
- Q62041467 P577 Q62041467-2D7CF2D5-5D9A-4399-8DA2-D46BD285C17D @default.
- Q62041467 P8978 Q62041467-D3759C32-5730-48FA-9E89-868321268202 @default.
- Q62041467 P356 3-540-63166-6_21 @default.
- Q62041467 P8978 CimattiGPPPRTY97 @default.
- Q62041467 P1433 Q924044 @default.
- Q62041467 P1476 "A provably correct embedded verifier for the certification of safety critical software" @default.
- Q62041467 P2093 "Bing Yu" @default.
- Q62041467 P2093 "Bruno Pietra" @default.
- Q62041467 P2093 "Dario Romano" @default.
- Q62041467 P2093 "Fausto Giunchiglia" @default.
- Q62041467 P2093 "Joe Profeta" @default.
- Q62041467 P2093 "Paolo Pecchiari" @default.
- Q62041467 P2093 "Paolo Traverso" @default.
- Q62041467 P304 "202-213" @default.
- Q62041467 P31 Q13442814 @default.
- Q62041467 P356 "10.1007/3-540-63166-6_21" @default.
- Q62041467 P407 Q1860 @default.
- Q62041467 P50 Q62036606 @default.
- Q62041467 P577 "1997-01-01T00:00:00Z" @default.
- Q62041467 P8978 "conf/cav/CimattiGPPPRTY97" @default.