Matches in Wikidata for { <http://www.wikidata.org/entity/Q62041434> ?p ?o ?g. }
- Q62041434 description "2000 nî lūn-bûn" @default.
- Q62041434 description "2000年の論文" @default.
- Q62041434 description "2000年学术文章" @default.
- Q62041434 description "2000年学术文章" @default.
- Q62041434 description "2000年学术文章" @default.
- Q62041434 description "2000年学术文章" @default.
- Q62041434 description "2000年学术文章" @default.
- Q62041434 description "2000年学术文章" @default.
- Q62041434 description "2000年學術文章" @default.
- Q62041434 description "2000年學術文章" @default.
- Q62041434 description "2000年學術文章" @default.
- Q62041434 description "2000年學術文章" @default.
- Q62041434 description "2000年學術文章" @default.
- Q62041434 description "2000년 논문" @default.
- Q62041434 description "article científic" @default.
- Q62041434 description "article scientific" @default.
- Q62041434 description "article scientifique" @default.
- Q62041434 description "articol științific" @default.
- Q62041434 description "articolo scientifico" @default.
- Q62041434 description "artigo científico" @default.
- Q62041434 description "artigo científico" @default.
- Q62041434 description "artigo científico" @default.
- Q62041434 description "artikel ilmiah" @default.
- Q62041434 description "artikull shkencor" @default.
- Q62041434 description "artikulong pang-agham" @default.
- Q62041434 description "artykuł naukowy" @default.
- Q62041434 description "artículo científico publicado en 2000" @default.
- Q62041434 description "artículu científicu" @default.
- Q62041434 description "bilimsel makale" @default.
- Q62041434 description "bài báo khoa học" @default.
- Q62041434 description "naučni članak" @default.
- Q62041434 description "scienca artikolo" @default.
- Q62041434 description "scientific article published in January 2000" @default.
- Q62041434 description "scientific article published in January 2000" @default.
- Q62041434 description "scientific article published in January 2000" @default.
- Q62041434 description "teaduslik artikkel" @default.
- Q62041434 description "tieteellinen artikkeli" @default.
- Q62041434 description "tudományos cikk" @default.
- Q62041434 description "vedecký článok" @default.
- Q62041434 description "vetenskaplig artikel" @default.
- Q62041434 description "videnskabelig artikel" @default.
- Q62041434 description "vitenskapelig artikkel" @default.
- Q62041434 description "vitskapeleg artikkel" @default.
- Q62041434 description "vědecký článek" @default.
- Q62041434 description "wetenschappelijk artikel" @default.
- Q62041434 description "wissenschaftlicher Artikel" @default.
- Q62041434 description "wüsseschaftlicher Artikel, wo im Johr 2000 veröffentlicht worden isch" @default.
- Q62041434 description "επιστημονικό άρθρο" @default.
- Q62041434 description "мақолаи илмӣ" @default.
- Q62041434 description "наукова стаття, опублікована в січні 2000" @default.
- Q62041434 description "научна статия" @default.
- Q62041434 description "научная статья" @default.
- Q62041434 description "научни чланак" @default.
- Q62041434 description "научни чланак" @default.
- Q62041434 description "מאמר מדעי" @default.
- Q62041434 description "مقالة علمية نشرت في يناير 2000" @default.
- Q62041434 description "জানুয়ারি ২০০০-এ প্রকাশিত বৈজ্ঞানিক নিবন্ধ" @default.
- Q62041434 description "บทความทางวิทยาศาสตร์" @default.
- Q62041434 description "სამეცნიერო სტატია" @default.
- Q62041434 name "Verification of a safety-critical railway interlocking system with real-time constraints" @default.
- Q62041434 name "Verification of a safety-critical railway interlocking system with real-time constraints" @default.
- Q62041434 type Item @default.
- Q62041434 label "Verification of a safety-critical railway interlocking system with real-time constraints" @default.
- Q62041434 label "Verification of a safety-critical railway interlocking system with real-time constraints" @default.
- Q62041434 prefLabel "Verification of a safety-critical railway interlocking system with real-time constraints" @default.
- Q62041434 prefLabel "Verification of a safety-critical railway interlocking system with real-time constraints" @default.
- Q62041434 P1433 Q62041434-3055B837-1815-4218-864F-5D0E85DFA445 @default.
- Q62041434 P1476 Q62041434-B4862DA8-6140-45E3-9CC6-2F088A7AA629 @default.
- Q62041434 P2093 Q62041434-40955E53-BA11-4FF1-893F-6FF69CC70BAB @default.
- Q62041434 P2093 Q62041434-89F213AA-85B0-44B5-87D7-702DA4697CA4 @default.
- Q62041434 P2093 Q62041434-D6BC8A90-AE47-4335-94DB-D5B0B94E5445 @default.
- Q62041434 P2860 Q62041434-5F358953-485B-41CB-B02A-CA7A267365FA @default.
- Q62041434 P2860 Q62041434-6EA45806-DF60-4A32-9EA4-5E92459AFEE7 @default.
- Q62041434 P2860 Q62041434-EFB098ED-C9F6-46CC-8404-6EE27BE4020B @default.
- Q62041434 P2860 Q62041434-FAABE842-2D3F-45D7-841E-23A9D0F05FF6 @default.
- Q62041434 P304 Q62041434-10F45CAB-EECE-4205-8867-06B66D059EC0 @default.
- Q62041434 P31 Q62041434-327A40E7-8965-4018-AC19-F2524848B0F3 @default.
- Q62041434 P356 Q62041434-D0B69787-5656-47EB-AF66-B093ECDAD2B2 @default.
- Q62041434 P433 Q62041434-2D1CE2B4-0C1E-413C-AA16-C094C1F49825 @default.
- Q62041434 P478 Q62041434-AF074190-3EA5-41EF-A51B-A9EA93BF834D @default.
- Q62041434 P50 Q62041434-77A7F8E8-3F68-4834-A7B6-2340D52EC28D @default.
- Q62041434 P50 Q62041434-F8D4A699-3C6C-43A7-8C96-AC33D03EBB9D @default.
- Q62041434 P577 Q62041434-57FB2B30-0C24-4140-BD59-3A03CBC612DE @default.
- Q62041434 P8978 Q62041434-1E5FE9F5-5C74-4BF1-B272-D4F54C7C8596 @default.
- Q62041434 P356 S0167-6423(99)00016-7 @default.
- Q62041434 P8978 Hartonas-GarmhausenCCCG00 @default.
- Q62041434 P1433 Q15752614 @default.
- Q62041434 P1476 "Verification of a safety-critical railway interlocking system with real-time constraints" @default.
- Q62041434 P2093 "Fausto Giunchiglia" @default.
- Q62041434 P2093 "Sergio Campos" @default.
- Q62041434 P2093 "Vicky Hartonas-Garmhausen" @default.
- Q62041434 P2860 Q55918946 @default.
- Q62041434 P2860 Q56028213 @default.
- Q62041434 P2860 Q62041460 @default.
- Q62041434 P2860 Q62041462 @default.
- Q62041434 P304 "53-64" @default.
- Q62041434 P31 Q13442814 @default.
- Q62041434 P356 "10.1016/S0167-6423(99)00016-7" @default.
- Q62041434 P433 "1" @default.
- Q62041434 P478 "36" @default.