Matches in Wikidata for { <http://www.wikidata.org/entity/Q99622774> ?p ?o ?g. }
- Q99622774 description "2010 nî lūn-bûn" @default.
- Q99622774 description "2010年の論文" @default.
- Q99622774 description "2010年学术文章" @default.
- Q99622774 description "2010年学术文章" @default.
- Q99622774 description "2010年学术文章" @default.
- Q99622774 description "2010年学术文章" @default.
- Q99622774 description "2010年学术文章" @default.
- Q99622774 description "2010年学术文章" @default.
- Q99622774 description "2010年學術文章" @default.
- Q99622774 description "2010年學術文章" @default.
- Q99622774 description "2010年學術文章" @default.
- Q99622774 description "2010年學術文章" @default.
- Q99622774 description "2010年學術文章" @default.
- Q99622774 description "2010년 논문" @default.
- Q99622774 description "article científic" @default.
- Q99622774 description "article published in 2010" @default.
- Q99622774 description "article scientific" @default.
- Q99622774 description "article scientifique" @default.
- Q99622774 description "articol științific" @default.
- Q99622774 description "articolo scientifico" @default.
- Q99622774 description "artigo científico" @default.
- Q99622774 description "artigo científico" @default.
- Q99622774 description "artigo científico" @default.
- Q99622774 description "artikel ilmiah" @default.
- Q99622774 description "artikull shkencor" @default.
- Q99622774 description "artikulong pang-agham" @default.
- Q99622774 description "artykuł naukowy" @default.
- Q99622774 description "artículo científico publicado en 2010" @default.
- Q99622774 description "artículu científicu espublizáu n'avientu de 2010" @default.
- Q99622774 description "bilimsel makale" @default.
- Q99622774 description "bài báo khoa học" @default.
- Q99622774 description "naučni članak" @default.
- Q99622774 description "scienca artikolo" @default.
- Q99622774 description "scientific article published on 6 December 2010" @default.
- Q99622774 description "scientific article published on 6 December 2010" @default.
- Q99622774 description "teaduslik artikkel" @default.
- Q99622774 description "tieteellinen artikkeli" @default.
- Q99622774 description "tudományos cikk" @default.
- Q99622774 description "vedecký článok" @default.
- Q99622774 description "vetenskaplig artikel" @default.
- Q99622774 description "videnskabelig artikel udgivet 6. december 2010" @default.
- Q99622774 description "vitenskapelig artikkel" @default.
- Q99622774 description "vitskapeleg artikkel" @default.
- Q99622774 description "vědecký článek" @default.
- Q99622774 description "wetenschappelijk artikel" @default.
- Q99622774 description "wissenschaftlicher Artikel" @default.
- Q99622774 description "επιστημονικό άρθρο" @default.
- Q99622774 description "мақолаи илмӣ" @default.
- Q99622774 description "наукова стаття, опублікована в грудні 2010" @default.
- Q99622774 description "научна статия" @default.
- Q99622774 description "научная статья" @default.
- Q99622774 description "научни чланак" @default.
- Q99622774 description "научни чланак" @default.
- Q99622774 description "מאמר מדעי" @default.
- Q99622774 description "مقالة بحثية نشرت في 6 ديسمبر 2010" @default.
- Q99622774 description "৬ ডিসেম্বর ২০১০-এ প্রকাশিত বৈজ্ঞানিক নিবন্ধ" @default.
- Q99622774 description "บทความทางวิทยาศาสตร์" @default.
- Q99622774 description "სამეცნიერო სტატია" @default.
- Q99622774 name "An Approach of Model Checking Time or Space Performance" @default.
- Q99622774 name "An Approach of Model Checking Time or Space Performance" @default.
- Q99622774 name "基于模型检测的时间空间性能验证方法" @default.
- Q99622774 type Item @default.
- Q99622774 label "An Approach of Model Checking Time or Space Performance" @default.
- Q99622774 label "An Approach of Model Checking Time or Space Performance" @default.
- Q99622774 label "基于模型检测的时间空间性能验证方法" @default.
- Q99622774 prefLabel "An Approach of Model Checking Time or Space Performance" @default.
- Q99622774 prefLabel "An Approach of Model Checking Time or Space Performance" @default.
- Q99622774 prefLabel "基于模型检测的时间空间性能验证方法" @default.
- Q99622774 P1433 Q99622774-71681247-2A76-425E-B211-9088C0724233 @default.
- Q99622774 P1476 Q99622774-26A3B415-7030-4E11-8765-7BCE8784A0F5 @default.
- Q99622774 P1476 Q99622774-459EB551-FFA1-4406-A155-DECBCFD16033 @default.
- Q99622774 P2093 Q99622774-0159794B-7775-4932-B8C5-00D03793A5F9 @default.
- Q99622774 P2093 Q99622774-4230EF71-2F30-4D64-9D41-94A2215DC9D6 @default.
- Q99622774 P2093 Q99622774-A1EB3BE4-8863-430C-BA17-2018F2DFD487 @default.
- Q99622774 P2093 Q99622774-A52C3E20-7D0F-4460-9C65-996143A1CB3E @default.
- Q99622774 P2093 Q99622774-C1E2E357-D629-4A79-943C-69B2A560168A @default.
- Q99622774 P2093 Q99622774-EA4689E0-FF47-4457-AADA-887696E590A1 @default.
- Q99622774 P304 Q99622774-6E38AC24-53CE-4BF4-A973-0B73DBA62766 @default.
- Q99622774 P31 Q99622774-2B5CFF62-10A4-4D3B-8A84-8CD48B960C7D @default.
- Q99622774 P356 Q99622774-B2935F82-2665-4191-90DC-8CC77DAE7812 @default.
- Q99622774 P407 Q99622774-2323FE4A-3C59-418E-84EC-2E66C7B5F2B1 @default.
- Q99622774 P433 Q99622774-8D1ACA92-FF55-48B3-A970-D0D4F578328E @default.
- Q99622774 P433 Q99622774-A952B802-2A07-4254-B691-64C755F18F4D @default.
- Q99622774 P478 Q99622774-191B5619-04EE-4D07-8649-12D039FCB15B @default.
- Q99622774 P577 Q99622774-37DC2660-CF82-4A1F-A059-60DA901A0EA6 @default.
- Q99622774 P577 Q99622774-BB73BFC4-CE35-4226-B18F-7790A1A7D8AD @default.
- Q99622774 P6769 Q99622774-D1E15779-3E5D-4764-B6C6-2CF3DD61DBB2 @default.
- Q99622774 P356 SP.J.1016.2010.01621 @default.
- Q99622774 P1433 Q15762314 @default.
- Q99622774 P1476 "An Approach of Model Checking Time or Space Performance" @default.
- Q99622774 P1476 "基于模型检测的时间空间性能验证方法" @default.
- Q99622774 P2093 "Guo-Sun ZENG" @default.
- Q99622774 P2093 "Jun NIU" @default.
- Q99622774 P2093 "Wei WANG" @default.
- Q99622774 P2093 "曾国荪" @default.
- Q99622774 P2093 "王伟" @default.
- Q99622774 P2093 "钮俊" @default.
- Q99622774 P304 "1621-1633" @default.
- Q99622774 P31 Q13442814 @default.
- Q99622774 P356 "10.3724/SP.J.1016.2010.01621" @default.