Matches in Wikidata for { <http://www.wikidata.org/entity/Q112268311> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- Q112268311 description "2014 nî lūn-bûn" @default.
- Q112268311 description "2014年の論文" @default.
- Q112268311 description "2014年学术文章" @default.
- Q112268311 description "2014年学术文章" @default.
- Q112268311 description "2014年学术文章" @default.
- Q112268311 description "2014年学术文章" @default.
- Q112268311 description "2014年学术文章" @default.
- Q112268311 description "2014年学术文章" @default.
- Q112268311 description "2014年學術文章" @default.
- Q112268311 description "2014年學術文章" @default.
- Q112268311 description "2014年學術文章" @default.
- Q112268311 description "2014年學術文章" @default.
- Q112268311 description "2014年學術文章" @default.
- Q112268311 description "2014년 논문" @default.
- Q112268311 description "article científic" @default.
- Q112268311 description "article scientific" @default.
- Q112268311 description "article scientifique" @default.
- Q112268311 description "articol științific" @default.
- Q112268311 description "articolo scientifico" @default.
- Q112268311 description "artigo científico" @default.
- Q112268311 description "artigo científico" @default.
- Q112268311 description "artigo científico" @default.
- Q112268311 description "artikel ilmiah" @default.
- Q112268311 description "artikull shkencor" @default.
- Q112268311 description "artikulong pang-agham" @default.
- Q112268311 description "artykuł naukowy" @default.
- Q112268311 description "artículo científico publicado en 2014" @default.
- Q112268311 description "artículu científicu" @default.
- Q112268311 description "bilimsel makale" @default.
- Q112268311 description "bài báo khoa học" @default.
- Q112268311 description "naučni članak" @default.
- Q112268311 description "scienca artikolo" @default.
- Q112268311 description "scientific article published in 2014" @default.
- Q112268311 description "scientific article published in 2014" @default.
- Q112268311 description "scientific article published in 2014" @default.
- Q112268311 description "teaduslik artikkel" @default.
- Q112268311 description "tieteellinen artikkeli" @default.
- Q112268311 description "tudományos cikk" @default.
- Q112268311 description "vedecký článok" @default.
- Q112268311 description "vetenskaplig artikel" @default.
- Q112268311 description "videnskabelig artikel udgivet 2014" @default.
- Q112268311 description "vitenskapelig artikkel" @default.
- Q112268311 description "vitskapeleg artikkel" @default.
- Q112268311 description "vědecký článek" @default.
- Q112268311 description "wetenschappelijk artikel" @default.
- Q112268311 description "wissenschaftlicher Artikel" @default.
- Q112268311 description "επιστημονικό άρθρο" @default.
- Q112268311 description "мақолаи илмӣ" @default.
- Q112268311 description "наукова стаття, опублікована у 2014" @default.
- Q112268311 description "научна статия" @default.
- Q112268311 description "научная статья" @default.
- Q112268311 description "научни чланак" @default.
- Q112268311 description "научни чланак" @default.
- Q112268311 description "מאמר מדעי" @default.
- Q112268311 description "مقالة علمية نشرت في 2014" @default.
- Q112268311 description "২০১৪-এ প্রকাশিত বৈজ্ঞানিক নিবন্ধ" @default.
- Q112268311 description "บทความทางวิทยาศาสตร์" @default.
- Q112268311 description "სამეცნიერო სტატია" @default.
- Q112268311 name "Probabilistic Model Checking of Labelled Markov Processes via Finite Approximate Bisimulations" @default.
- Q112268311 type Item @default.
- Q112268311 label "Probabilistic Model Checking of Labelled Markov Processes via Finite Approximate Bisimulations" @default.
- Q112268311 prefLabel "Probabilistic Model Checking of Labelled Markov Processes via Finite Approximate Bisimulations" @default.
- Q112268311 P1433 Q112268311-DCB4C5A2-CC45-42BE-9D93-874E6F09388B @default.
- Q112268311 P1476 Q112268311-17745CDF-47D9-4EBF-B9D3-2378B02BF445 @default.
- Q112268311 P2093 Q112268311-2D15196B-B502-4B72-B35E-511F9297F551 @default.
- Q112268311 P2093 Q112268311-F64A4AD1-49FC-46B3-86D1-B34E2113CB21 @default.
- Q112268311 P304 Q112268311-C20543B1-FEDC-4991-A1E5-A40ACBA471CF @default.
- Q112268311 P31 Q112268311-6BC197D0-C7D1-47B4-B749-133437791FEE @default.
- Q112268311 P356 Q112268311-79CCCE6A-E5A0-422A-8051-90FF304932DD @default.
- Q112268311 P50 Q112268311-71E40E75-8969-4C1A-9244-8231E9A35C5E @default.
- Q112268311 P50 Q112268311-9288134A-EEB0-46D3-93F9-D27101BC8511 @default.
- Q112268311 P577 Q112268311-B866BE47-2149-499A-A3DB-01C9C58984EC @default.
- Q112268311 P6104 Q112268311-1A9FDD4A-C3B2-403D-A866-4724469DB511 @default.
- Q112268311 P894 Q112268311-3F3CE606-5D6E-4434-BBE6-E40751548EB2 @default.
- Q112268311 P356 978-3-319-06880-0_2 @default.
- Q112268311 P1433 Q924044 @default.
- Q112268311 P1476 "Probabilistic Model Checking of Labelled Markov Processes via Finite Approximate Bisimulations" @default.
- Q112268311 P2093 "Alessandro Abate" @default.
- Q112268311 P2093 "David Parker" @default.
- Q112268311 P304 "40-58" @default.
- Q112268311 P31 Q13442814 @default.
- Q112268311 P356 "10.1007/978-3-319-06880-0_2" @default.
- Q112268311 P50 Q11760 @default.
- Q112268311 P50 Q59400903 @default.
- Q112268311 P577 "2014-01-01T00:00:00Z" @default.
- Q112268311 P6104 Q8487137 @default.
- Q112268311 P894 "1407.68275" @default.