Matches in Wikidata for { <http://www.wikidata.org/entity/Q62041418> ?p ?o ?g. }
Showing items 1 to 99 of
99
with 100 items per page.
- Q62041418 description "2002 nî lūn-bûn" @default.
- Q62041418 description "2002年の論文" @default.
- Q62041418 description "2002年学术文章" @default.
- Q62041418 description "2002年学术文章" @default.
- Q62041418 description "2002年学术文章" @default.
- Q62041418 description "2002年学术文章" @default.
- Q62041418 description "2002年学术文章" @default.
- Q62041418 description "2002年学术文章" @default.
- Q62041418 description "2002年學術文章" @default.
- Q62041418 description "2002年學術文章" @default.
- Q62041418 description "2002年學術文章" @default.
- Q62041418 description "2002年學術文章" @default.
- Q62041418 description "2002年學術文章" @default.
- Q62041418 description "2002년 논문" @default.
- Q62041418 description "article científic" @default.
- Q62041418 description "article scientific" @default.
- Q62041418 description "article scientifique" @default.
- Q62041418 description "articol științific" @default.
- Q62041418 description "articolo scientifico" @default.
- Q62041418 description "artigo científico" @default.
- Q62041418 description "artigo científico" @default.
- Q62041418 description "artigo científico" @default.
- Q62041418 description "artikel ilmiah" @default.
- Q62041418 description "artikull shkencor" @default.
- Q62041418 description "artikulong pang-agham" @default.
- Q62041418 description "artykuł naukowy" @default.
- Q62041418 description "artículo científico publicado en 2002" @default.
- Q62041418 description "artículu científicu" @default.
- Q62041418 description "bilimsel makale" @default.
- Q62041418 description "bài báo khoa học" @default.
- Q62041418 description "naučni članak" @default.
- Q62041418 description "scienca artikolo" @default.
- Q62041418 description "scientific article published in 2002" @default.
- Q62041418 description "scientific article published in 2002" @default.
- Q62041418 description "scientific article published in 2002" @default.
- Q62041418 description "teaduslik artikkel" @default.
- Q62041418 description "tieteellinen artikkeli" @default.
- Q62041418 description "tudományos cikk" @default.
- Q62041418 description "vedecký článok" @default.
- Q62041418 description "vetenskaplig artikel" @default.
- Q62041418 description "videnskabelig artikel" @default.
- Q62041418 description "vitenskapelig artikkel" @default.
- Q62041418 description "vitskapeleg artikkel" @default.
- Q62041418 description "vědecký článek" @default.
- Q62041418 description "wetenschappelijk artikel" @default.
- Q62041418 description "wissenschaftlicher Artikel" @default.
- Q62041418 description "επιστημονικό άρθρο" @default.
- Q62041418 description "мақолаи илмӣ" @default.
- Q62041418 description "наукова стаття, опублікована у 2002" @default.
- Q62041418 description "научна статия" @default.
- Q62041418 description "научная статья" @default.
- Q62041418 description "научни чланак" @default.
- Q62041418 description "научни чланак" @default.
- Q62041418 description "מאמר מדעי" @default.
- Q62041418 description "مقالة علمية نشرت في 2002" @default.
- Q62041418 description "২০০২-এ প্রকাশিত বৈজ্ঞানিক নিবন্ধ" @default.
- Q62041418 description "บทความทางวิทยาศาสตร์" @default.
- Q62041418 description "სამეცნიერო სტატია" @default.
- Q62041418 name "NuSMV 2: An OpenSource Tool for Symbolic Model Checking" @default.
- Q62041418 name "NuSMV 2: An OpenSource Tool for Symbolic Model Checking" @default.
- Q62041418 type Item @default.
- Q62041418 label "NuSMV 2: An OpenSource Tool for Symbolic Model Checking" @default.
- Q62041418 label "NuSMV 2: An OpenSource Tool for Symbolic Model Checking" @default.
- Q62041418 prefLabel "NuSMV 2: An OpenSource Tool for Symbolic Model Checking" @default.
- Q62041418 prefLabel "NuSMV 2: An OpenSource Tool for Symbolic Model Checking" @default.
- Q62041418 P1433 Q62041418-5CF67F6D-C05F-4624-8E5E-2A4E1D32E354 @default.
- Q62041418 P1476 Q62041418-02D98278-6A6B-450D-ADA1-DF50E919C39B @default.
- Q62041418 P2093 Q62041418-1F51A1AC-8A48-4AC7-8438-05C2C9488289 @default.
- Q62041418 P2093 Q62041418-2AA2B25F-274A-4301-A91F-A1C3BF4CB564 @default.
- Q62041418 P2093 Q62041418-2B43B4C7-52EB-45CA-B639-EF9CCB3193B1 @default.
- Q62041418 P2093 Q62041418-478F084E-97EA-4781-BC18-61F302A390A9 @default.
- Q62041418 P2093 Q62041418-D4356837-AFC9-4532-B614-6998112AE3C5 @default.
- Q62041418 P2093 Q62041418-D96CE7DD-AFA1-42E6-9353-3BB15D960E5A @default.
- Q62041418 P304 Q62041418-0D4EF52D-4830-4046-8B7B-E56BEF3EE3BB @default.
- Q62041418 P31 Q62041418-CB3E3507-6804-445F-A8F8-E41A427BA611 @default.
- Q62041418 P356 Q62041418-8257136E-D889-40C1-B3C3-66FFD8B35D69 @default.
- Q62041418 P407 Q62041418-80086D39-F81D-497C-A3C4-366F4CE4FD11 @default.
- Q62041418 P50 Q62041418-13DC79AF-149D-41F0-B55B-DE84F636B917 @default.
- Q62041418 P50 Q62041418-D91E5C0A-09D4-412E-BC7C-67B21CAC8556 @default.
- Q62041418 P577 Q62041418-42DDFA9D-5280-43DF-AC03-60CD64EA9984 @default.
- Q62041418 P8978 Q62041418-33C1B358-2D5F-4C13-8CC9-4120F3C7BFA5 @default.
- Q62041418 P356 3-540-45657-0_29 @default.
- Q62041418 P8978 CimattiCGGPRST02 @default.
- Q62041418 P1433 Q924044 @default.
- Q62041418 P1476 "NuSMV 2: An OpenSource Tool for Symbolic Model Checking" @default.
- Q62041418 P2093 "Armando Tacchella" @default.
- Q62041418 P2093 "Enrico Giunchiglia" @default.
- Q62041418 P2093 "Fausto Giunchiglia" @default.
- Q62041418 P2093 "Marco Pistore" @default.
- Q62041418 P2093 "Marco Roveri" @default.
- Q62041418 P2093 "Roberto Sebastiani" @default.
- Q62041418 P304 "359-364" @default.
- Q62041418 P31 Q13442814 @default.
- Q62041418 P356 "10.1007/3-540-45657-0_29" @default.
- Q62041418 P407 Q1860 @default.
- Q62041418 P50 Q62036606 @default.
- Q62041418 P50 Q92819 @default.
- Q62041418 P577 "2002-01-01T00:00:00Z" @default.
- Q62041418 P8978 "conf/cav/CimattiCGGPRST02" @default.