Matches in Wikidata for { <http://www.wikidata.org/entity/Q57800918> ?p ?o ?g. }
Showing items 1 to 42 of
42
with 100 items per page.
- Q57800918 description "im Oktober 2014 veröffentlichter wissenschaftlicher Artikel" @default.
- Q57800918 description "wetenschappelijk artikel" @default.
- Q57800918 description "наукова стаття, опублікована в жовтні 2014" @default.
- Q57800918 name "Symbolic counterexample generation for large discrete-time Markov chains" @default.
- Q57800918 name "Symbolic counterexample generation for large discrete-time Markov chains" @default.
- Q57800918 type Item @default.
- Q57800918 label "Symbolic counterexample generation for large discrete-time Markov chains" @default.
- Q57800918 label "Symbolic counterexample generation for large discrete-time Markov chains" @default.
- Q57800918 prefLabel "Symbolic counterexample generation for large discrete-time Markov chains" @default.
- Q57800918 prefLabel "Symbolic counterexample generation for large discrete-time Markov chains" @default.
- Q57800918 P1433 Q57800918-78F971DE-560C-4176-A1F4-DF3EDB2A3164 @default.
- Q57800918 P1476 Q57800918-52B0B0C4-EC39-4881-BCC0-4B30A78083BE @default.
- Q57800918 P2093 Q57800918-09C859BE-33CA-4EB4-A458-DB31FA486B74 @default.
- Q57800918 P2093 Q57800918-26C59514-68B0-4B05-B04D-EC7FE59DE9B3 @default.
- Q57800918 P2093 Q57800918-68C12365-CC7B-4DB7-9175-4A62475B71EB @default.
- Q57800918 P2093 Q57800918-8ADDC769-6090-430F-A59C-586FF30253FB @default.
- Q57800918 P2093 Q57800918-C0F1EC83-D89B-4BD9-88E8-6F63C6AED873 @default.
- Q57800918 P2093 Q57800918-EA696CFE-62E5-43A4-9DD9-8C5FCA1FBA59 @default.
- Q57800918 P304 Q57800918-531D1740-134C-4A22-B6FA-F2062A9CAED6 @default.
- Q57800918 P31 Q57800918-E036DCCA-AA8D-4DE3-B4A9-C55CA7C7CA73 @default.
- Q57800918 P356 Q57800918-7A86D694-FA7E-4460-85C5-732F61EB0A9A @default.
- Q57800918 P478 Q57800918-4D672FAD-CCE3-4201-A658-702705914A7F @default.
- Q57800918 P50 Q57800918-0F7B7CC1-ECB8-477C-85F5-FDDBAB9ADD1F @default.
- Q57800918 P577 Q57800918-85A48BFE-EAD6-4A7D-A91B-6D71B5345B93 @default.
- Q57800918 P8978 Q57800918-53245CF2-CFEE-406A-A5FA-316AE290B5F7 @default.
- Q57800918 P356 J.SCICO.2014.02.001 @default.
- Q57800918 P8978 JansenWAZKBS14 @default.
- Q57800918 P1433 Q15752614 @default.
- Q57800918 P1476 "Symbolic counterexample generation for large discrete-time Markov chains" @default.
- Q57800918 P2093 "Barna Zajzon" @default.
- Q57800918 P2093 "Bernd Becker" @default.
- Q57800918 P2093 "Erika Ábrahám" @default.
- Q57800918 P2093 "Johann Schuster" @default.
- Q57800918 P2093 "Nils Jansen" @default.
- Q57800918 P2093 "Ralf Wimmer" @default.
- Q57800918 P304 "90-114" @default.
- Q57800918 P31 Q13442814 @default.
- Q57800918 P356 "10.1016/J.SCICO.2014.02.001" @default.
- Q57800918 P478 "91" @default.
- Q57800918 P50 Q52726456 @default.
- Q57800918 P577 "2014-10-01T00:00:00Z" @default.
- Q57800918 P8978 "journals/scp/JansenWAZKBS14" @default.