Matches in Wikidata for { <http://www.wikidata.org/entity/Q62041460> ?p ?o ?g. }
- Q62041460 description "1998 nî lūn-bûn" @default.
- Q62041460 description "1998年の論文" @default.
- Q62041460 description "1998年学术文章" @default.
- Q62041460 description "1998年学术文章" @default.
- Q62041460 description "1998年学术文章" @default.
- Q62041460 description "1998年学术文章" @default.
- Q62041460 description "1998年学术文章" @default.
- Q62041460 description "1998年学术文章" @default.
- Q62041460 description "1998年學術文章" @default.
- Q62041460 description "1998年學術文章" @default.
- Q62041460 description "1998年學術文章" @default.
- Q62041460 description "1998年學術文章" @default.
- Q62041460 description "1998年學術文章" @default.
- Q62041460 description "1998년 논문" @default.
- Q62041460 description "article científic" @default.
- Q62041460 description "article scientific" @default.
- Q62041460 description "article scientifique" @default.
- Q62041460 description "articol științific" @default.
- Q62041460 description "articolo scientifico" @default.
- Q62041460 description "artigo científico" @default.
- Q62041460 description "artigo científico" @default.
- Q62041460 description "artigo científico" @default.
- Q62041460 description "artikel ilmiah" @default.
- Q62041460 description "artikull shkencor" @default.
- Q62041460 description "artikulong pang-agham" @default.
- Q62041460 description "artykuł naukowy" @default.
- Q62041460 description "artículo científico publicado en 1998" @default.
- Q62041460 description "artículu científicu" @default.
- Q62041460 description "bilimsel makale" @default.
- Q62041460 description "bài báo khoa học" @default.
- Q62041460 description "naučni članak" @default.
- Q62041460 description "scienca artikolo" @default.
- Q62041460 description "scientific article published on 27 April 1998" @default.
- Q62041460 description "scientific article published on 27 April 1998" @default.
- Q62041460 description "scientific article published on 27 April 1998" @default.
- Q62041460 description "teaduslik artikkel" @default.
- Q62041460 description "tieteellinen artikkeli" @default.
- Q62041460 description "tudományos cikk" @default.
- Q62041460 description "vedecký článok" @default.
- Q62041460 description "vetenskaplig artikel" @default.
- Q62041460 description "videnskabelig artikel" @default.
- Q62041460 description "vitenskapelig artikkel" @default.
- Q62041460 description "vitskapeleg artikkel" @default.
- Q62041460 description "vědecký článek" @default.
- Q62041460 description "wetenschappelijk artikel" @default.
- Q62041460 description "wissenschaftlicher Artikel" @default.
- Q62041460 description "επιστημονικό άρθρο" @default.
- Q62041460 description "мақолаи илмӣ" @default.
- Q62041460 description "наукова стаття, опублікована у квітні 1998" @default.
- Q62041460 description "научна статия" @default.
- Q62041460 description "научная статья" @default.
- Q62041460 description "научни чланак" @default.
- Q62041460 description "научни чланак" @default.
- Q62041460 description "מאמר מדעי" @default.
- Q62041460 description "مقالة علمية نشرت في 27 أبريل 1998" @default.
- Q62041460 description "২৭ এপ্রিল ১৯৯৮-এ প্রকাশিত বৈজ্ঞানিক নিবন্ধ" @default.
- Q62041460 description "บทความทางวิทยาศาสตร์" @default.
- Q62041460 description "სამეცნიერო სტატია" @default.
- Q62041460 name "Formal Verification of a Railway Interlocking System using Model Checking" @default.
- Q62041460 name "Formal Verification of a Railway Interlocking System using Model Checking" @default.
- Q62041460 type Item @default.
- Q62041460 label "Formal Verification of a Railway Interlocking System using Model Checking" @default.
- Q62041460 label "Formal Verification of a Railway Interlocking System using Model Checking" @default.
- Q62041460 prefLabel "Formal Verification of a Railway Interlocking System using Model Checking" @default.
- Q62041460 prefLabel "Formal Verification of a Railway Interlocking System using Model Checking" @default.
- Q62041460 P1433 Q62041460-7961E135-E91C-4D12-93C4-DFD437F9FE28 @default.
- Q62041460 P1476 Q62041460-BD91D201-391C-4DF1-94F7-8149AAAF0749 @default.
- Q62041460 P2093 Q62041460-255CA67F-0A5A-402B-B178-773FFF898BCD @default.
- Q62041460 P2093 Q62041460-2E0E313F-ACB5-4666-82AA-149D1752710F @default.
- Q62041460 P2093 Q62041460-3C4B4827-4BA8-4564-A351-F5A7A8C5160E @default.
- Q62041460 P2093 Q62041460-C7EE99E1-8399-4DBB-9452-0BCC72C1872E @default.
- Q62041460 P2093 Q62041460-EBFCEFD5-0605-433C-A52F-6D8CBA9A6BDA @default.
- Q62041460 P2888 Q62041460-F5129886-FE44-43FD-BEA2-3D8C9EC2334F @default.
- Q62041460 P304 Q62041460-7A77C9AF-744F-4E03-9E8B-9CD3FBB5221A @default.
- Q62041460 P31 Q62041460-127A0A3A-A57B-4171-B3FD-C28C552FBB4A @default.
- Q62041460 P356 Q62041460-989417EA-7170-4553-A0CE-01EE4C9AE969 @default.
- Q62041460 P433 Q62041460-13FB7209-C5AC-4F0D-832F-658EAFD55C77 @default.
- Q62041460 P478 Q62041460-C7DCD4E3-A9CD-4477-99D8-F279103C79E1 @default.
- Q62041460 P50 Q62041460-235749FC-B3D6-4ABE-A8FF-2A8CBFC20BD0 @default.
- Q62041460 P577 Q62041460-FBACE174-9076-4979-982C-E0356C14828F @default.
- Q62041460 P6104 Q62041460-4BF88F02-FA3C-44E7-A7CE-8781B87F6528 @default.
- Q62041460 P6179 Q62041460-BFF6A249-1800-402F-8644-7DF39FA64F58 @default.
- Q62041460 P894 Q62041460-F8D384F0-4839-4B8B-8845-80F15E5DC236 @default.
- Q62041460 P8978 Q62041460-02BF79E5-85D5-480A-994C-BE99CDA18CF9 @default.
- Q62041460 P356 S001650050022 @default.
- Q62041460 P8978 CimattiGMRTT98 @default.
- Q62041460 P1433 Q5469945 @default.
- Q62041460 P1476 "Formal Verification of a Railway Interlocking System using Model Checking" @default.
- Q62041460 P2093 "D. Romano" @default.
- Q62041460 P2093 "F. Giunchiglia" @default.
- Q62041460 P2093 "F. Torielli" @default.
- Q62041460 P2093 "G. Mongardi" @default.
- Q62041460 P2093 "P. Traverso" @default.
- Q62041460 P2888 s001650050022 @default.
- Q62041460 P304 "361-380" @default.
- Q62041460 P31 Q13442814 @default.
- Q62041460 P356 "10.1007/S001650050022" @default.
- Q62041460 P433 "4" @default.
- Q62041460 P478 "10" @default.
- Q62041460 P50 Q62036606 @default.