Matches in Wikidata for { <http://www.wikidata.org/entity/Q59035009> ?p ?o ?g. }
Showing items 1 to 42 of
42
with 100 items per page.
- Q59035009 description "im April 2013 veröffentlichter wissenschaftlicher Artikel" @default.
- Q59035009 description "wetenschappelijk artikel" @default.
- Q59035009 description "наукова стаття, опублікована у квітні 2013" @default.
- Q59035009 name "Verification of Mixed-Signal Systems with Affine Arithmetic Assertions" @default.
- Q59035009 name "Verification of Mixed-Signal Systems with Affine Arithmetic Assertions" @default.
- Q59035009 type Item @default.
- Q59035009 label "Verification of Mixed-Signal Systems with Affine Arithmetic Assertions" @default.
- Q59035009 label "Verification of Mixed-Signal Systems with Affine Arithmetic Assertions" @default.
- Q59035009 prefLabel "Verification of Mixed-Signal Systems with Affine Arithmetic Assertions" @default.
- Q59035009 prefLabel "Verification of Mixed-Signal Systems with Affine Arithmetic Assertions" @default.
- Q59035009 P1433 Q59035009-D417F0C3-C844-4A7F-AD42-CD90472FDFB6 @default.
- Q59035009 P1476 Q59035009-FCC4659B-6333-4243-B395-40042E482FE5 @default.
- Q59035009 P2093 Q59035009-4BC09329-531A-400A-BB9D-19852949B01D @default.
- Q59035009 P2093 Q59035009-5E9EEBA1-3772-449F-9761-383EE1065FEF @default.
- Q59035009 P2093 Q59035009-71379383-3E5E-42D0-8FBE-6A58F58D0CF4 @default.
- Q59035009 P2093 Q59035009-F111A530-05F6-494C-9998-CECD3FA773E6 @default.
- Q59035009 P275 Q59035009-CA7B5BCC-9D78-4D78-AC3A-E21AC24793B6 @default.
- Q59035009 P2860 Q59035009-1B1EED6F-4D8E-4DF1-AB38-FBAA46DA07CA @default.
- Q59035009 P304 Q59035009-E11626D6-4CED-4A9D-8D8E-987D030E8DB2 @default.
- Q59035009 P31 Q59035009-A32D73F4-F3B0-4716-8766-B636CE6350DC @default.
- Q59035009 P356 Q59035009-F8719438-CDF3-4813-9E5C-8DFBDB084908 @default.
- Q59035009 P478 Q59035009-00F114DB-0E85-4DC3-89AF-5613EC8F63F3 @default.
- Q59035009 P577 Q59035009-80E2FC92-B8B4-4C4B-AB7F-146156183F4E @default.
- Q59035009 P6216 Q59035009-17C0E574-BB46-4D9B-8861-5B5E64EF792C @default.
- Q59035009 P8978 Q59035009-2E1207A2-E0A9-42E8-8371-E8916172A8DD @default.
- Q59035009 P356 239064 @default.
- Q59035009 P8978 RadojicicGSR13 @default.
- Q59035009 P1433 Q15763135 @default.
- Q59035009 P1476 "Verification of Mixed-Signal Systems with Affine Arithmetic Assertions" @default.
- Q59035009 P2093 "Carna Radojicic" @default.
- Q59035009 P2093 "Christoph Grimm" @default.
- Q59035009 P2093 "Florian Schupfer" @default.
- Q59035009 P2093 "Michael Rathmair" @default.
- Q59035009 P275 Q14947546 @default.
- Q59035009 P2860 Q57582190 @default.
- Q59035009 P304 "1-14" @default.
- Q59035009 P31 Q13442814 @default.
- Q59035009 P356 "10.1155/2013/239064" @default.
- Q59035009 P478 "2013" @default.
- Q59035009 P577 "2013-04-28T00:00:00Z" @default.
- Q59035009 P6216 Q50423863 @default.
- Q59035009 P8978 "journals/vlsi/RadojicicGSR13" @default.