Matches in Wikidata for { <http://www.wikidata.org/entity/Q62040545> ?p ?o ?g. }
Showing items 1 to 100 of
100
with 100 items per page.
- Q62040545 description "2010 nî lūn-bûn" @default.
- Q62040545 description "2010年の論文" @default.
- Q62040545 description "2010年学术文章" @default.
- Q62040545 description "2010年学术文章" @default.
- Q62040545 description "2010年学术文章" @default.
- Q62040545 description "2010年学术文章" @default.
- Q62040545 description "2010年学术文章" @default.
- Q62040545 description "2010年学术文章" @default.
- Q62040545 description "2010年學術文章" @default.
- Q62040545 description "2010年學術文章" @default.
- Q62040545 description "2010年學術文章" @default.
- Q62040545 description "2010年學術文章" @default.
- Q62040545 description "2010年學術文章" @default.
- Q62040545 description "2010년 논문" @default.
- Q62040545 description "article científic" @default.
- Q62040545 description "article scientific" @default.
- Q62040545 description "article scientifique" @default.
- Q62040545 description "articol științific" @default.
- Q62040545 description "articolo scientifico" @default.
- Q62040545 description "artigo científico" @default.
- Q62040545 description "artigo científico" @default.
- Q62040545 description "artigo científico" @default.
- Q62040545 description "artikel ilmiah" @default.
- Q62040545 description "artikull shkencor" @default.
- Q62040545 description "artikulong pang-agham" @default.
- Q62040545 description "artykuł naukowy" @default.
- Q62040545 description "artículo científico publicado en 2010" @default.
- Q62040545 description "artículu científicu" @default.
- Q62040545 description "bilimsel makale" @default.
- Q62040545 description "bài báo khoa học" @default.
- Q62040545 description "naučni članak" @default.
- Q62040545 description "scienca artikolo" @default.
- Q62040545 description "scientific article published on 29 April 2010" @default.
- Q62040545 description "scientific article published on 29 April 2010" @default.
- Q62040545 description "scientific article published on 29 April 2010" @default.
- Q62040545 description "teaduslik artikkel" @default.
- Q62040545 description "tieteellinen artikkeli" @default.
- Q62040545 description "tudományos cikk" @default.
- Q62040545 description "vedecký článok" @default.
- Q62040545 description "vetenskaplig artikel" @default.
- Q62040545 description "videnskabelig artikel" @default.
- Q62040545 description "vitenskapelig artikkel" @default.
- Q62040545 description "vitskapeleg artikkel" @default.
- Q62040545 description "vědecký článek" @default.
- Q62040545 description "wetenschappelijk artikel" @default.
- Q62040545 description "wissenschaftlicher Artikel" @default.
- Q62040545 description "επιστημονικό άρθρο" @default.
- Q62040545 description "мақолаи илмӣ" @default.
- Q62040545 description "наукова стаття, опублікована у квітні 2010" @default.
- Q62040545 description "научна статия" @default.
- Q62040545 description "научная статья" @default.
- Q62040545 description "научни чланак" @default.
- Q62040545 description "научни чланак" @default.
- Q62040545 description "գիտական հոդված հրատարակված 2010 թվականի ապրիլի 29-ին" @default.
- Q62040545 description "מאמר מדעי" @default.
- Q62040545 description "مقالة علمية نشرت في 29 أبريل 2010" @default.
- Q62040545 description "২৯ এপ্রিল ২০১০-এ প্রকাশিত বৈজ্ঞানিক নিবন্ধ" @default.
- Q62040545 description "บทความทางวิทยาศาสตร์" @default.
- Q62040545 description "სამეცნიერო სტატია" @default.
- Q62040545 name "Using Bounded Model Checking for Coverage Analysis of Safety-Critical Software in an Industrial Setting" @default.
- Q62040545 name "Using Bounded Model Checking for Coverage Analysis of Safety-Critical Software in an Industrial Setting" @default.
- Q62040545 type Item @default.
- Q62040545 label "Using Bounded Model Checking for Coverage Analysis of Safety-Critical Software in an Industrial Setting" @default.
- Q62040545 label "Using Bounded Model Checking for Coverage Analysis of Safety-Critical Software in an Industrial Setting" @default.
- Q62040545 prefLabel "Using Bounded Model Checking for Coverage Analysis of Safety-Critical Software in an Industrial Setting" @default.
- Q62040545 prefLabel "Using Bounded Model Checking for Coverage Analysis of Safety-Critical Software in an Industrial Setting" @default.
- Q62040545 P1433 Q62040545-2A43D0CA-9D44-4FD6-A884-F4F67B947389 @default.
- Q62040545 P1476 Q62040545-70D0B09F-88F1-4400-9700-39F9783A3B38 @default.
- Q62040545 P2093 Q62040545-021584DB-B07A-4B06-B238-E2DCDE477E16 @default.
- Q62040545 P2093 Q62040545-03242E1F-28E8-4B93-8680-60E4BD9269C4 @default.
- Q62040545 P2093 Q62040545-2FA3C554-73BD-4539-BF98-48AA5B4948C1 @default.
- Q62040545 P2093 Q62040545-C276E328-AD63-469F-9CE3-C00C5B09900A @default.
- Q62040545 P2888 Q62040545-D501F199-5413-402A-AE8F-E8BDB5F57E1D @default.
- Q62040545 P304 Q62040545-8AC8B0C2-824F-4457-81DB-86CB9712CF96 @default.
- Q62040545 P31 Q62040545-D7BE904A-219E-4329-B0B4-5CA2036AF003 @default.
- Q62040545 P356 Q62040545-95A6F618-2DB0-472B-BF48-58F39EC1F205 @default.
- Q62040545 P433 Q62040545-81CE3D26-A4AC-4E40-9656-3AC875629506 @default.
- Q62040545 P478 Q62040545-11A3B72D-3E73-4081-AB74-3807C29B6BE7 @default.
- Q62040545 P50 Q62040545-84A193D3-60A1-44D0-B615-088A19E348D7 @default.
- Q62040545 P577 Q62040545-1E8B5143-9A5D-464F-B11D-908EB9B05A55 @default.
- Q62040545 P6179 Q62040545-63DD1B21-19ED-4C84-AE56-64D48A35B389 @default.
- Q62040545 P8978 Q62040545-473F90B1-9351-4995-A5C0-DAD9B9479188 @default.
- Q62040545 P356 S10817-010-9172-3 @default.
- Q62040545 P8978 AngelettiGNPS10 @default.
- Q62040545 P1433 Q6294821 @default.
- Q62040545 P1476 "Using Bounded Model Checking for Coverage Analysis of Safety-Critical Software in an Industrial Setting" @default.
- Q62040545 P2093 "Alessandra Puddu" @default.
- Q62040545 P2093 "Damiano Angeletti" @default.
- Q62040545 P2093 "Enrico Giunchiglia" @default.
- Q62040545 P2093 "Salvatore Sabina" @default.
- Q62040545 P2888 s10817-010-9172-3 @default.
- Q62040545 P304 "397-414" @default.
- Q62040545 P31 Q13442814 @default.
- Q62040545 P356 "10.1007/S10817-010-9172-3" @default.
- Q62040545 P433 "4" @default.
- Q62040545 P478 "45" @default.
- Q62040545 P50 Q62036602 @default.
- Q62040545 P577 "2010-04-29T00:00:00Z" @default.
- Q62040545 P6179 "1022034640" @default.
- Q62040545 P8978 "journals/jar/AngelettiGNPS10" @default.