Matches in Wikidata for { <http://www.wikidata.org/entity/Q57801168> ?p ?o ?g. }
Showing items 1 to 41 of
41
with 100 items per page.
- Q57801168 description "article scientifique publié en 2012" @default.
- Q57801168 description "artículu científicu" @default.
- Q57801168 description "wetenschappelijk artikel" @default.
- Q57801168 description "наукова стаття, опублікована у 2012" @default.
- Q57801168 name "The COMICS Tool – Computing Minimal Counterexamples for DTMCs" @default.
- Q57801168 name "The COMICS Tool – Computing Minimal Counterexamples for DTMCs" @default.
- Q57801168 type Item @default.
- Q57801168 label "The COMICS Tool – Computing Minimal Counterexamples for DTMCs" @default.
- Q57801168 label "The COMICS Tool – Computing Minimal Counterexamples for DTMCs" @default.
- Q57801168 prefLabel "The COMICS Tool – Computing Minimal Counterexamples for DTMCs" @default.
- Q57801168 prefLabel "The COMICS Tool – Computing Minimal Counterexamples for DTMCs" @default.
- Q57801168 P1433 Q57801168-E83F7BB2-FF17-445B-A11B-416BD6773BC2 @default.
- Q57801168 P1476 Q57801168-414302CD-D534-492F-9510-FB2BF1A0C99A @default.
- Q57801168 P2093 Q57801168-0847FA86-04C8-4794-9667-DBC7F59AD934 @default.
- Q57801168 P2093 Q57801168-446F14E9-3526-4465-914B-4931392D1587 @default.
- Q57801168 P2093 Q57801168-84ED7B5D-FAC7-4690-A99B-40B124891AD6 @default.
- Q57801168 P2093 Q57801168-ACDA2CED-7A2B-4D8E-809E-B6595A6E365C @default.
- Q57801168 P2093 Q57801168-C5DF88BA-2755-43FB-AEE7-30A66E8129F2 @default.
- Q57801168 P304 Q57801168-C0DBE419-23DB-44B5-9C3E-28BB1EA6D29A @default.
- Q57801168 P31 Q57801168-9BC422C9-CD28-41BB-B609-037FDC7CDD4C @default.
- Q57801168 P356 Q57801168-9EB8E999-7D0D-44BC-A3F7-6C8EDCFC6A70 @default.
- Q57801168 P407 Q57801168-5AA0F619-FCDA-46B5-9695-56D2D8118D1E @default.
- Q57801168 P50 Q57801168-89CE0019-57E7-4C06-8036-4F002957BE7B @default.
- Q57801168 P577 Q57801168-8B87D2FB-3C49-4FD3-8F1F-076F70A35A2D @default.
- Q57801168 P8978 Q57801168-D292DD3B-0C74-4CF4-924B-6E26C612CE52 @default.
- Q57801168 P356 978-3-642-33386-6_27 @default.
- Q57801168 P8978 JansenAVWKB12 @default.
- Q57801168 P1433 Q924044 @default.
- Q57801168 P1476 "The COMICS Tool – Computing Minimal Counterexamples for DTMCs" @default.
- Q57801168 P2093 "Bernd Becker" @default.
- Q57801168 P2093 "Erika Ábrahám" @default.
- Q57801168 P2093 "Matthias Volk" @default.
- Q57801168 P2093 "Nils Jansen" @default.
- Q57801168 P2093 "Ralf Wimmer" @default.
- Q57801168 P304 "349-353" @default.
- Q57801168 P31 Q13442814 @default.
- Q57801168 P356 "10.1007/978-3-642-33386-6_27" @default.
- Q57801168 P407 Q1860 @default.
- Q57801168 P50 Q52726456 @default.
- Q57801168 P577 "2012-01-01T00:00:00Z" @default.
- Q57801168 P8978 "conf/atva/JansenAVWKB12" @default.