Matches in Wikidata for { <http://www.wikidata.org/entity/Q124832924> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- Q124832924 description "2006 nî lūn-bûn" @default.
- Q124832924 description "2006年の論文" @default.
- Q124832924 description "2006年学术文章" @default.
- Q124832924 description "2006年学术文章" @default.
- Q124832924 description "2006年学术文章" @default.
- Q124832924 description "2006年學術文章" @default.
- Q124832924 description "2006年學術文章" @default.
- Q124832924 description "2006년 논문" @default.
- Q124832924 description "article científic" @default.
- Q124832924 description "article scientific" @default.
- Q124832924 description "article scientifique" @default.
- Q124832924 description "articol științific" @default.
- Q124832924 description "articolo scientifico" @default.
- Q124832924 description "artigo científico" @default.
- Q124832924 description "artigo científico" @default.
- Q124832924 description "artigo científico" @default.
- Q124832924 description "artikel ilmiah" @default.
- Q124832924 description "artikull shkencor" @default.
- Q124832924 description "artikulong pang-agham" @default.
- Q124832924 description "artykuł naukowy" @default.
- Q124832924 description "artículo científico publicado en 2006" @default.
- Q124832924 description "artículu científicu" @default.
- Q124832924 description "bilimsel makale" @default.
- Q124832924 description "bài báo khoa học" @default.
- Q124832924 description "naučni članak" @default.
- Q124832924 description "scienca artikolo" @default.
- Q124832924 description "scientific article published in 2006" @default.
- Q124832924 description "teaduslik artikkel" @default.
- Q124832924 description "tieteellinen artikkeli" @default.
- Q124832924 description "tudományos cikk" @default.
- Q124832924 description "vedecký článok" @default.
- Q124832924 description "vetenskaplig artikel" @default.
- Q124832924 description "videnskabelig artikel udgivet marts 2006" @default.
- Q124832924 description "vitenskapelig artikkel" @default.
- Q124832924 description "vitskapeleg artikkel" @default.
- Q124832924 description "vědecký článek" @default.
- Q124832924 description "wetenschappelijk artikel" @default.
- Q124832924 description "wissenschaftlicher Artikel" @default.
- Q124832924 description "znanstveni članek" @default.
- Q124832924 description "επιστημονικό άρθρο" @default.
- Q124832924 description "мақолаи илмӣ" @default.
- Q124832924 description "наукова стаття, опублікована в березні 2006" @default.
- Q124832924 description "научна статия" @default.
- Q124832924 description "научная статья" @default.
- Q124832924 description "научни чланак" @default.
- Q124832924 description "научни чланак" @default.
- Q124832924 description "מאמר מדעי" @default.
- Q124832924 description "مقالة بحثية نشرت في مارس 2006" @default.
- Q124832924 description "মার্চ ২০০৬-এ প্রকাশিত বৈজ্ঞানিক নিবন্ধ" @default.
- Q124832924 description "บทความทางวิทยาศาสตร์" @default.
- Q124832924 description "სამეცნიერო სტატია" @default.
- Q124832924 name "Counterexample-guided predicate abstraction of hybrid systems" @default.
- Q124832924 type Item @default.
- Q124832924 label "Counterexample-guided predicate abstraction of hybrid systems" @default.
- Q124832924 prefLabel "Counterexample-guided predicate abstraction of hybrid systems" @default.
- Q124832924 P1433 Q124832924-2A604BC3-249C-456B-BB62-AE30DB2AC8F5 @default.
- Q124832924 P1476 Q124832924-2ABD8C1F-7239-4948-9A0F-323C6733AE8C @default.
- Q124832924 P2093 Q124832924-46080BF3-47F4-421B-B6A5-105560C990AB @default.
- Q124832924 P2093 Q124832924-7949E682-C1B9-42DB-9163-48C37B59F46E @default.
- Q124832924 P2093 Q124832924-EDAE61D7-306E-47D7-A2DE-DE246055BEBB @default.
- Q124832924 P304 Q124832924-A53475DD-ACF2-4AA8-BDE8-1F2B785E3A7F @default.
- Q124832924 P31 Q124832924-3ECE24A4-0BA5-4AA3-8528-A6D2297261D8 @default.
- Q124832924 P356 Q124832924-D8A27047-FD37-4AF2-9F63-E9458A8F1CEB @default.
- Q124832924 P433 Q124832924-D8EDB8BF-C2A7-4963-93B2-908B8C02D73E @default.
- Q124832924 P478 Q124832924-CE31B75E-8705-41A8-8FD5-703FE37A8CDF @default.
- Q124832924 P577 Q124832924-D1A0C85F-A961-4BB9-990C-47AFB11B8B18 @default.
- Q124832924 P6104 Q124832924-02D7CE69-9CD6-432F-A0EE-0F4DAE3C3E12 @default.
- Q124832924 P894 Q124832924-70AC848B-953C-4DDA-AF72-E49912CD3274 @default.
- Q124832924 P356 J.TCS.2005.11.026 @default.
- Q124832924 P1433 Q7782354 @default.
- Q124832924 P1476 "Counterexample-guided predicate abstraction of hybrid systems" @default.
- Q124832924 P2093 "Franjo Ivančić" @default.
- Q124832924 P2093 "Rajeev Alur" @default.
- Q124832924 P2093 "Thao Dang" @default.
- Q124832924 P304 "250-271" @default.
- Q124832924 P31 Q13442814 @default.
- Q124832924 P356 "10.1016/J.TCS.2005.11.026" @default.
- Q124832924 P433 "2" @default.
- Q124832924 P478 "354" @default.
- Q124832924 P577 "2006-03-01T00:00:00Z" @default.
- Q124832924 P6104 Q8487137 @default.
- Q124832924 P894 "1088.68096" @default.