Matches in Wikidata for { <http://www.wikidata.org/entity/Q59242548> ?p ?o ?g. }
Showing items 1 to 38 of
38
with 100 items per page.
- Q59242548 description "im August 2011 veröffentlichter wissenschaftlicher Artikel" @default.
- Q59242548 description "wetenschappelijk artikel" @default.
- Q59242548 description "наукова стаття, опублікована в серпні 2011" @default.
- Q59242548 name "Effective Robustness Analysis Using Bounded Model Checking Techniques" @default.
- Q59242548 name "Effective Robustness Analysis Using Bounded Model Checking Techniques" @default.
- Q59242548 type Item @default.
- Q59242548 label "Effective Robustness Analysis Using Bounded Model Checking Techniques" @default.
- Q59242548 label "Effective Robustness Analysis Using Bounded Model Checking Techniques" @default.
- Q59242548 prefLabel "Effective Robustness Analysis Using Bounded Model Checking Techniques" @default.
- Q59242548 prefLabel "Effective Robustness Analysis Using Bounded Model Checking Techniques" @default.
- Q59242548 P1433 Q59242548-CAA75E5E-C482-42D5-99F5-A0756932E96D @default.
- Q59242548 P1476 Q59242548-BF60FCA6-891C-4F65-BDFA-908742A79832 @default.
- Q59242548 P2093 Q59242548-AE216CDC-E66B-4C76-81C3-55167119098D @default.
- Q59242548 P2093 Q59242548-E487FA54-7867-4843-A62D-506050515409 @default.
- Q59242548 P304 Q59242548-A3C24D81-DB85-4372-BDF3-EBFA55F42495 @default.
- Q59242548 P31 Q59242548-BC8E859C-8805-48D8-BDF9-DCA9E59E46AB @default.
- Q59242548 P356 Q59242548-3513C5FD-361C-4B2A-969F-96F9C79A5C83 @default.
- Q59242548 P433 Q59242548-5D4ACF05-025A-42D8-B883-8B50884B39A9 @default.
- Q59242548 P478 Q59242548-F22AF7A3-AC1F-48D4-B4A5-2B0F614639E0 @default.
- Q59242548 P50 Q59242548-0CE41475-6EB6-4B20-9A5A-5E86CF4D103E @default.
- Q59242548 P50 Q59242548-C25B6714-0823-43DB-AFDC-1AC5E5B7944D @default.
- Q59242548 P577 Q59242548-40B755FA-02C6-4AF3-B562-C5DE124246B0 @default.
- Q59242548 P8978 Q59242548-C3156C22-C9E3-4A9A-88B6-AF97BE3CA62A @default.
- Q59242548 P356 TCAD.2011.2120950 @default.
- Q59242548 P8978 FeySFD11 @default.
- Q59242548 P1433 Q5970503 @default.
- Q59242548 P1476 "Effective Robustness Analysis Using Bounded Model Checking Techniques" @default.
- Q59242548 P2093 "André Sulflow" @default.
- Q59242548 P2093 "Stefan Frehse" @default.
- Q59242548 P304 "1239-1252" @default.
- Q59242548 P31 Q13442814 @default.
- Q59242548 P356 "10.1109/TCAD.2011.2120950" @default.
- Q59242548 P433 "8" @default.
- Q59242548 P478 "30" @default.
- Q59242548 P50 Q1378532 @default.
- Q59242548 P50 Q60661524 @default.
- Q59242548 P577 "2011-08-01T00:00:00Z" @default.
- Q59242548 P8978 "journals/tcad/FeySFD11" @default.