Matches in Wikidata for { <http://www.wikidata.org/entity/Q57801415> ?p ?o ?g. }
Showing items 1 to 29 of
29
with 100 items per page.
- Q57801415 description "article scientifique publié en 2010" @default.
- Q57801415 description "wetenschappelijk artikel" @default.
- Q57801415 description "наукова стаття, опублікована у вересні 2010" @default.
- Q57801415 name "DTMC Model Checking by SCC Reduction" @default.
- Q57801415 name "DTMC Model Checking by SCC Reduction" @default.
- Q57801415 type Item @default.
- Q57801415 label "DTMC Model Checking by SCC Reduction" @default.
- Q57801415 label "DTMC Model Checking by SCC Reduction" @default.
- Q57801415 prefLabel "DTMC Model Checking by SCC Reduction" @default.
- Q57801415 prefLabel "DTMC Model Checking by SCC Reduction" @default.
- Q57801415 P1476 Q57801415-1A65F5B3-8A55-43A7-9736-0385784FF4D3 @default.
- Q57801415 P2093 Q57801415-69289F39-7EFE-4342-9514-72DA3DC82FBF @default.
- Q57801415 P2093 Q57801415-8393FBD0-9FF0-417E-A824-036CC8652159 @default.
- Q57801415 P2093 Q57801415-AAFB8F31-9DE2-443C-82B5-73E550146620 @default.
- Q57801415 P2093 Q57801415-C428C84F-3720-4EA7-957B-9CF4FD10779F @default.
- Q57801415 P31 Q57801415-8A23E944-2FEA-407C-885B-392D6D82320F @default.
- Q57801415 P356 Q57801415-A0B090BF-D8FF-414F-8522-42FFE7AF2BAB @default.
- Q57801415 P50 Q57801415-8E8DB036-40D6-466C-A7F9-FEC4F910CD8D @default.
- Q57801415 P577 Q57801415-253CC53B-AB41-46CC-BD6E-5C17B0A26978 @default.
- Q57801415 P356 QEST.2010.13 @default.
- Q57801415 P1476 "DTMC Model Checking by SCC Reduction" @default.
- Q57801415 P2093 "Bernd Becker" @default.
- Q57801415 P2093 "Erika Abraham" @default.
- Q57801415 P2093 "Nils Jansen" @default.
- Q57801415 P2093 "Ralf Wimmer" @default.
- Q57801415 P31 Q13442814 @default.
- Q57801415 P356 "10.1109/QEST.2010.13" @default.
- Q57801415 P50 Q52726456 @default.
- Q57801415 P577 "2010-09-01T00:00:00Z" @default.