Matches in Wikidata for { <http://www.wikidata.org/entity/Q56918330> ?p ?o ?g. }
Showing items 1 to 38 of
38
with 100 items per page.
- Q56918330 description "article scientifique publié en 2015" @default.
- Q56918330 description "wetenschappelijk artikel" @default.
- Q56918330 description "наукова стаття, опублікована в листопаді 2015" @default.
- Q56918330 name "Bounded Model Checking of Hybrid Systems for Control" @default.
- Q56918330 name "Bounded Model Checking of Hybrid Systems for Control" @default.
- Q56918330 type Item @default.
- Q56918330 label "Bounded Model Checking of Hybrid Systems for Control" @default.
- Q56918330 label "Bounded Model Checking of Hybrid Systems for Control" @default.
- Q56918330 prefLabel "Bounded Model Checking of Hybrid Systems for Control" @default.
- Q56918330 prefLabel "Bounded Model Checking of Hybrid Systems for Control" @default.
- Q56918330 P1433 Q56918330-EE4FA949-E87E-4D0A-8895-6D86DBBE78B0 @default.
- Q56918330 P1476 Q56918330-31EC7F02-DF28-408E-A91D-DD960C111E2C @default.
- Q56918330 P2093 Q56918330-1E5A7946-802C-414B-B586-35F2C8AB5C2D @default.
- Q56918330 P2093 Q56918330-BC5139ED-E957-41D4-9E75-CB910FC9AA1C @default.
- Q56918330 P304 Q56918330-6D292E39-D134-4DC8-B453-823EA54786EA @default.
- Q56918330 P31 Q56918330-D1F37B14-FCD5-40AB-B5D2-527DC8173F79 @default.
- Q56918330 P356 Q56918330-9CBA3463-889B-47B5-AD3D-B1887C884B0B @default.
- Q56918330 P433 Q56918330-44C05388-9915-48D6-A61A-52954F8974DC @default.
- Q56918330 P478 Q56918330-09159511-B63C-4C6E-A71E-0B5923B9E8ED @default.
- Q56918330 P577 Q56918330-1A57FCE1-78DA-471A-8011-67D3D0FCF389 @default.
- Q56918330 P6104 Q56918330-AAB6FB4A-0191-424F-A14B-EDCB746C802A @default.
- Q56918330 P894 Q56918330-92BA6C35-1D3C-4EF3-9BB5-38D923F48353 @default.
- Q56918330 P8978 Q56918330-CAFFD6F8-67FD-45DD-8189-05AA7533F13D @default.
- Q56918330 P356 TAC.2015.2417839 @default.
- Q56918330 P8978 KwonK15 @default.
- Q56918330 P1433 Q13731138 @default.
- Q56918330 P1476 "Bounded Model Checking of Hybrid Systems for Control" @default.
- Q56918330 P2093 "Eunhee Kim" @default.
- Q56918330 P2093 "YoungMin Kwon" @default.
- Q56918330 P304 "2961-2976" @default.
- Q56918330 P31 Q13442814 @default.
- Q56918330 P356 "10.1109/TAC.2015.2417839" @default.
- Q56918330 P433 "11" @default.
- Q56918330 P478 "60" @default.
- Q56918330 P577 "2015-11-01T00:00:00Z" @default.
- Q56918330 P6104 Q8487137 @default.
- Q56918330 P894 "1360.93078" @default.
- Q56918330 P8978 "journals/tac/KwonK15" @default.