Matches in Wikidata for { <http://www.wikidata.org/entity/Q59242703> ?p ?o ?g. }
Showing items 1 to 37 of
37
with 100 items per page.
- Q59242703 description "article scientifique publié en 2008" @default.
- Q59242703 description "im Juli 2008 veröffentlichter wissenschaftlicher Artikel" @default.
- Q59242703 description "wetenschappelijk artikel" @default.
- Q59242703 description "наукова стаття, опублікована в липні 2008" @default.
- Q59242703 name "Analyzing Functional Coverage in Bounded Model Checking" @default.
- Q59242703 name "Analyzing Functional Coverage in Bounded Model Checking" @default.
- Q59242703 type Item @default.
- Q59242703 label "Analyzing Functional Coverage in Bounded Model Checking" @default.
- Q59242703 label "Analyzing Functional Coverage in Bounded Model Checking" @default.
- Q59242703 prefLabel "Analyzing Functional Coverage in Bounded Model Checking" @default.
- Q59242703 prefLabel "Analyzing Functional Coverage in Bounded Model Checking" @default.
- Q59242703 P1433 Q59242703-A8DCBA5F-FF29-4A16-B400-23601F45EC66 @default.
- Q59242703 P1476 Q59242703-D8E99211-D44C-4E6B-8588-E35C4A6C072E @default.
- Q59242703 P2093 Q59242703-1D5F2A88-DFB2-4DC0-B5B0-CCCB0B5A7330 @default.
- Q59242703 P304 Q59242703-D5F4E1AF-8B7B-45D4-A41D-709F367F7285 @default.
- Q59242703 P31 Q59242703-33927D59-E97C-42BD-BD65-C63D574CBE0A @default.
- Q59242703 P356 Q59242703-A7DF441F-A485-4F7E-B5E7-BF48B615346B @default.
- Q59242703 P433 Q59242703-FB405738-0EB3-4FBB-8F27-5318262086C6 @default.
- Q59242703 P478 Q59242703-8283BE12-74B2-4375-A62A-35F1D56D6E29 @default.
- Q59242703 P50 Q59242703-42CE79AE-8F42-4C4A-8866-BC5C761B9F07 @default.
- Q59242703 P50 Q59242703-F9688093-ED6B-40BB-B690-3A32B77C8D55 @default.
- Q59242703 P577 Q59242703-FC16C586-1E9D-4B9E-B235-D790BC01E9C7 @default.
- Q59242703 P8978 Q59242703-A7164D5F-CC28-4FA8-A35B-1F85C33E2CE3 @default.
- Q59242703 P356 TCAD.2008.925790 @default.
- Q59242703 P8978 GrosseKD08 @default.
- Q59242703 P1433 Q5970503 @default.
- Q59242703 P1476 "Analyzing Functional Coverage in Bounded Model Checking" @default.
- Q59242703 P2093 "Ulrich Kuhne" @default.
- Q59242703 P304 "1305-1314" @default.
- Q59242703 P31 Q13442814 @default.
- Q59242703 P356 "10.1109/TCAD.2008.925790" @default.
- Q59242703 P433 "7" @default.
- Q59242703 P478 "27" @default.
- Q59242703 P50 Q1378532 @default.
- Q59242703 P50 Q60813930 @default.
- Q59242703 P577 "2008-07-01T00:00:00Z" @default.
- Q59242703 P8978 "journals/tcad/GrosseKD08" @default.