Matches in Wikidata for { <http://www.wikidata.org/entity/Q57526574> ?p ?o ?g. }
Showing items 1 to 25 of
25
with 100 items per page.
- Q57526574 description "article scientifique publié en 2010" @default.
- Q57526574 description "wetenschappelijk artikel" @default.
- Q57526574 description "наукова стаття, опублікована у 2010" @default.
- Q57526574 name "Verifying Peak Power Optimizations Using SPIN Model Checker" @default.
- Q57526574 name "Verifying Peak Power Optimizations Using SPIN Model Checker" @default.
- Q57526574 type Item @default.
- Q57526574 label "Verifying Peak Power Optimizations Using SPIN Model Checker" @default.
- Q57526574 label "Verifying Peak Power Optimizations Using SPIN Model Checker" @default.
- Q57526574 prefLabel "Verifying Peak Power Optimizations Using SPIN Model Checker" @default.
- Q57526574 prefLabel "Verifying Peak Power Optimizations Using SPIN Model Checker" @default.
- Q57526574 P1476 Q57526574-455EAB28-1D0D-4682-B324-398E1C53BF0D @default.
- Q57526574 P2093 Q57526574-184B0E48-B4DA-46A9-B157-B1AF2663EABB @default.
- Q57526574 P304 Q57526574-7587B3D2-1E0B-4894-98F0-00165FEC62BB @default.
- Q57526574 P31 Q57526574-B41D6618-20E0-45AB-B4E1-FE8FA2802BFD @default.
- Q57526574 P356 Q57526574-1F4C9D1A-FFEF-4BEE-9E1C-C8235FA3C2D1 @default.
- Q57526574 P50 Q57526574-12E7F9BC-94CC-435E-BF0E-2BBFC785E1B1 @default.
- Q57526574 P577 Q57526574-0A3CE0FF-952B-4A90-B7D8-36CC9C643EE1 @default.
- Q57526574 P356 978-1-4419-6481-6_9 @default.
- Q57526574 P1476 "Verifying Peak Power Optimizations Using SPIN Model Checker" @default.
- Q57526574 P2093 "Gaurav Singh" @default.
- Q57526574 P304 "115-139" @default.
- Q57526574 P31 Q13442814 @default.
- Q57526574 P356 "10.1007/978-1-4419-6481-6_9" @default.
- Q57526574 P50 Q29359329 @default.
- Q57526574 P577 "2010-01-01T00:00:00Z" @default.