Matches in Wikidata for { <http://www.wikidata.org/entity/Q57801030> ?p ?o ?g. }
Showing items 1 to 42 of
42
with 100 items per page.
- Q57801030 description "article published in 2013" @default.
- Q57801030 description "wetenschappelijk artikel" @default.
- Q57801030 description "наукова стаття, опублікована у 2013" @default.
- Q57801030 name "Symbolic Counterexample Generation for Discrete-Time Markov Chains" @default.
- Q57801030 name "Symbolic Counterexample Generation for Discrete-Time Markov Chains" @default.
- Q57801030 type Item @default.
- Q57801030 label "Symbolic Counterexample Generation for Discrete-Time Markov Chains" @default.
- Q57801030 label "Symbolic Counterexample Generation for Discrete-Time Markov Chains" @default.
- Q57801030 prefLabel "Symbolic Counterexample Generation for Discrete-Time Markov Chains" @default.
- Q57801030 prefLabel "Symbolic Counterexample Generation for Discrete-Time Markov Chains" @default.
- Q57801030 P1433 Q57801030-71D3018C-D268-49B1-BCBB-9D4CCF4146AC @default.
- Q57801030 P1476 Q57801030-84577952-6BB6-44A5-A585-1267A2410931 @default.
- Q57801030 P2093 Q57801030-5991A601-6024-42FA-8D49-4567AB5D32EE @default.
- Q57801030 P2093 Q57801030-5CF50B13-5D31-48E3-B822-96E2B9CA629B @default.
- Q57801030 P2093 Q57801030-694159F4-328E-4333-AA89-09C7427824DC @default.
- Q57801030 P2093 Q57801030-6ACAB5AE-2E49-4234-96C9-9F4A359D3A1E @default.
- Q57801030 P2093 Q57801030-AD9FD3AD-AAC4-411C-B8FE-58EC824382C9 @default.
- Q57801030 P2093 Q57801030-E12F9B6B-C46E-4BF5-9557-7AFB7948ED53 @default.
- Q57801030 P304 Q57801030-2331B4BB-B9B1-4975-805C-A81C0D813BAD @default.
- Q57801030 P31 Q57801030-A8F9CE09-2AD9-49CE-BED7-6B4E4CE8BA22 @default.
- Q57801030 P356 Q57801030-DA3984D2-6B04-45DF-8336-90661C15C466 @default.
- Q57801030 P407 Q57801030-2B36DCF7-221C-4A34-8780-E171BFD09F1D @default.
- Q57801030 P50 Q57801030-3CE67A1C-5B23-4344-AF29-8C063392A5EA @default.
- Q57801030 P577 Q57801030-42B4CB15-21A6-491A-803C-BCE1323757BE @default.
- Q57801030 P8978 Q57801030-1ECBB35E-AFE8-47FF-BAB2-60B83BC5B2E2 @default.
- Q57801030 P356 978-3-642-35861-6_9 @default.
- Q57801030 P8978 JansenAZWSKB12 @default.
- Q57801030 P1433 Q924044 @default.
- Q57801030 P1476 "Symbolic Counterexample Generation for Discrete-Time Markov Chains" @default.
- Q57801030 P2093 "Barna Zajzon" @default.
- Q57801030 P2093 "Bernd Becker" @default.
- Q57801030 P2093 "Erika Ábrahám" @default.
- Q57801030 P2093 "Johann Schuster" @default.
- Q57801030 P2093 "Nils Jansen" @default.
- Q57801030 P2093 "Ralf Wimmer" @default.
- Q57801030 P304 "134-151" @default.
- Q57801030 P31 Q13442814 @default.
- Q57801030 P356 "10.1007/978-3-642-35861-6_9" @default.
- Q57801030 P407 Q1860 @default.
- Q57801030 P50 Q52726456 @default.
- Q57801030 P577 "2013-01-01T00:00:00Z" @default.
- Q57801030 P8978 "conf/facs2/JansenAZWSKB12" @default.