Matches in Wikidata for { <http://www.wikidata.org/entity/Q57608066> ?p ?o ?g. }
Showing items 1 to 42 of
42
with 100 items per page.
- Q57608066 description "article scientifique publié en 2010" @default.
- Q57608066 description "wetenschappelijk artikel" @default.
- Q57608066 description "наукова стаття, опублікована у 2010" @default.
- Q57608066 name "Algorithmic Verification of Population Protocols" @default.
- Q57608066 name "Algorithmic Verification of Population Protocols" @default.
- Q57608066 type Item @default.
- Q57608066 label "Algorithmic Verification of Population Protocols" @default.
- Q57608066 label "Algorithmic Verification of Population Protocols" @default.
- Q57608066 prefLabel "Algorithmic Verification of Population Protocols" @default.
- Q57608066 prefLabel "Algorithmic Verification of Population Protocols" @default.
- Q57608066 P1433 Q57608066-023E4CC6-D81F-4D24-A1C2-D42C47D7517B @default.
- Q57608066 P1476 Q57608066-A956CA6A-3DFA-402B-A110-B84354DC78FF @default.
- Q57608066 P2093 Q57608066-5B6F1DB3-213F-44A3-A5AE-001163B6113F @default.
- Q57608066 P2093 Q57608066-90AC2ADC-7E91-4B06-B28E-CAC9B636BB8E @default.
- Q57608066 P2860 Q57608066-6DC03F59-6A4C-4BC6-8B22-E33469404C15 @default.
- Q57608066 P2860 Q57608066-A902B3A6-1290-4710-AF81-E18E5059B20D @default.
- Q57608066 P2860 Q57608066-CBB37DCF-7207-4025-B4D6-C905DA7561F6 @default.
- Q57608066 P2860 Q57608066-DDEEBB34-6B7F-4470-9104-503CC2C47FC1 @default.
- Q57608066 P304 Q57608066-DB397CE6-E9D8-40D8-ADB1-772C75029422 @default.
- Q57608066 P31 Q57608066-442AF01A-38C3-41D4-B5C1-CB28B80FE69A @default.
- Q57608066 P356 Q57608066-EC3176C0-8368-440B-9B42-A5231AC710CD @default.
- Q57608066 P407 Q57608066-53EC118E-49CA-44DD-99F0-0204C2BBF0CF @default.
- Q57608066 P50 Q57608066-210F5ED6-8402-4381-90A2-7C94C3732E2F @default.
- Q57608066 P577 Q57608066-BADF7718-A69C-41C2-A67A-35406C2FACFE @default.
- Q57608066 P8978 Q57608066-97B2B8FE-1206-4B91-8C9F-D36162999582 @default.
- Q57608066 P356 978-3-642-16023-3_19 @default.
- Q57608066 P8978 ChatzigiannakisMS10 @default.
- Q57608066 P1433 Q924044 @default.
- Q57608066 P1476 "Algorithmic Verification of Population Protocols" @default.
- Q57608066 P2093 "Othon Michail" @default.
- Q57608066 P2093 "Paul G. Spirakis" @default.
- Q57608066 P2860 Q55952575 @default.
- Q57608066 P2860 Q57608088 @default.
- Q57608066 P2860 Q57608092 @default.
- Q57608066 P2860 Q57608094 @default.
- Q57608066 P304 "221-235" @default.
- Q57608066 P31 Q13442814 @default.
- Q57608066 P356 "10.1007/978-3-642-16023-3_19" @default.
- Q57608066 P407 Q1860 @default.
- Q57608066 P50 Q57021613 @default.
- Q57608066 P577 "2010-01-01T00:00:00Z" @default.
- Q57608066 P8978 "conf/sss/ChatzigiannakisMS10" @default.