Matches in Wikidata for { <http://www.wikidata.org/entity/Q59675351> ?p ?o ?g. }
Showing items 1 to 41 of
41
with 100 items per page.
- Q59675351 description "article scientifique publié en 2009" @default.
- Q59675351 description "im September 2009 veröffentlichter wissenschaftlicher Artikel" @default.
- Q59675351 description "wetenschappelijk artikel" @default.
- Q59675351 description "наукова стаття, опублікована у вересні 2009" @default.
- Q59675351 name "An Inductive Technique for Parameterised Model Checking of Degenerative Distributed Randomised Protocols" @default.
- Q59675351 name "An Inductive Technique for Parameterised Model Checking of Degenerative Distributed Randomised Protocols" @default.
- Q59675351 type Item @default.
- Q59675351 label "An Inductive Technique for Parameterised Model Checking of Degenerative Distributed Randomised Protocols" @default.
- Q59675351 label "An Inductive Technique for Parameterised Model Checking of Degenerative Distributed Randomised Protocols" @default.
- Q59675351 prefLabel "An Inductive Technique for Parameterised Model Checking of Degenerative Distributed Randomised Protocols" @default.
- Q59675351 prefLabel "An Inductive Technique for Parameterised Model Checking of Degenerative Distributed Randomised Protocols" @default.
- Q59675351 P1433 Q59675351-CA3AEED3-451D-4752-A3B6-E8EFC7D6DBD8 @default.
- Q59675351 P1476 Q59675351-DAD5B849-D52A-4CFE-82E8-04189754B3BD @default.
- Q59675351 P2093 Q59675351-41FC8A7F-B46D-4375-BE66-6FCE9AE20E8A @default.
- Q59675351 P304 Q59675351-8CF1EFC8-12F3-4071-B0A3-BA7B5B8D4C76 @default.
- Q59675351 P31 Q59675351-6A283961-96D6-411D-AF19-03B8139CBB2A @default.
- Q59675351 P356 Q59675351-2F7E085C-874A-4CB5-85A9-7E53DE4A6B09 @default.
- Q59675351 P433 Q59675351-CF07B4B3-01AE-44A2-AEC5-7D5D81EB8EAF @default.
- Q59675351 P478 Q59675351-9B547C2D-291F-46DB-9F97-2815713AD9E5 @default.
- Q59675351 P50 Q59675351-26695FBA-A32A-425F-AA76-2E6476B5AC29 @default.
- Q59675351 P50 Q59675351-63412D01-F8B3-4A20-ABC0-3C46345B1D9B @default.
- Q59675351 P577 Q59675351-759539A3-75AF-499E-A9B9-7B0512454194 @default.
- Q59675351 P6104 Q59675351-AB315750-1F10-4E23-97F4-22976A5C80FB @default.
- Q59675351 P894 Q59675351-B6C5DC12-94F5-489D-8A5A-BC651A6BE8DE @default.
- Q59675351 P8978 Q59675351-2753C98B-A93A-4F91-856E-ACC3B3F2023A @default.
- Q59675351 P356 J.ENTCS.2009.08.007 @default.
- Q59675351 P8978 GrahamCM09 @default.
- Q59675351 P1433 Q5358287 @default.
- Q59675351 P1476 "An Inductive Technique for Parameterised Model Checking of Degenerative Distributed Randomised Protocols" @default.
- Q59675351 P2093 "Douglas Graham" @default.
- Q59675351 P304 "87-103" @default.
- Q59675351 P31 Q13442814 @default.
- Q59675351 P356 "10.1016/J.ENTCS.2009.08.007" @default.
- Q59675351 P433 "1" @default.
- Q59675351 P478 "250" @default.
- Q59675351 P50 Q14949107 @default.
- Q59675351 P50 Q60721732 @default.
- Q59675351 P577 "2009-09-01T00:00:00Z" @default.
- Q59675351 P6104 Q8487137 @default.
- Q59675351 P894 "1339.68167" @default.
- Q59675351 P8978 "journals/entcs/GrahamCM09" @default.