Matches in Wikidata for { <http://www.wikidata.org/entity/Q57526703> ?p ?o ?g. }
Showing items 1 to 27 of
27
with 100 items per page.
- Q57526703 description "article scientifique publié en 2013" @default.
- Q57526703 description "wetenschappelijk artikel" @default.
- Q57526703 description "наукова стаття, опублікована в липні 2013" @default.
- Q57526703 name "A New Multi-threaded Code Synthesis Methodology and Tool for Correct-by-Construction Synthesis from Polychronous Specifications" @default.
- Q57526703 name "A New Multi-threaded Code Synthesis Methodology and Tool for Correct-by-Construction Synthesis from Polychronous Specifications" @default.
- Q57526703 type Item @default.
- Q57526703 label "A New Multi-threaded Code Synthesis Methodology and Tool for Correct-by-Construction Synthesis from Polychronous Specifications" @default.
- Q57526703 label "A New Multi-threaded Code Synthesis Methodology and Tool for Correct-by-Construction Synthesis from Polychronous Specifications" @default.
- Q57526703 prefLabel "A New Multi-threaded Code Synthesis Methodology and Tool for Correct-by-Construction Synthesis from Polychronous Specifications" @default.
- Q57526703 prefLabel "A New Multi-threaded Code Synthesis Methodology and Tool for Correct-by-Construction Synthesis from Polychronous Specifications" @default.
- Q57526703 P1476 Q57526703-C3B139CF-6C57-4918-94D6-A7C60008A012 @default.
- Q57526703 P2093 Q57526703-60E848ED-A1FA-4382-AACD-1A3B4413BAEC @default.
- Q57526703 P2093 Q57526703-93B0F71D-6BA6-4166-9AD0-BBDF52405D14 @default.
- Q57526703 P2093 Q57526703-B304655E-8770-4A61-985C-B33B4F6E7B28 @default.
- Q57526703 P31 Q57526703-05567B58-848F-471B-820D-B9F293ADD4D0 @default.
- Q57526703 P356 Q57526703-330F7D37-E249-4436-9D5B-15E05D256BF8 @default.
- Q57526703 P50 Q57526703-CF76B484-2878-4AB1-B7B6-A94D53B04B2B @default.
- Q57526703 P577 Q57526703-AC52886F-4445-4EA8-A315-7570A61CEB70 @default.
- Q57526703 P356 ACSD.2013.6 @default.
- Q57526703 P1476 "A New Multi-threaded Code Synthesis Methodology and Tool for Correct-by-Construction Synthesis from Polychronous Specifications" @default.
- Q57526703 P2093 "Julien Ouy" @default.
- Q57526703 P2093 "Mahesh Nanjundappa" @default.
- Q57526703 P2093 "Matthew Kracht" @default.
- Q57526703 P31 Q13442814 @default.
- Q57526703 P356 "10.1109/ACSD.2013.6" @default.
- Q57526703 P50 Q29359329 @default.
- Q57526703 P577 "2013-07-01T00:00:00Z" @default.