Matches in Wikidata for { ?s ?p Counterexample-guided predicate abstraction of hybrid systems ?g. }
Showing items 1 to 5 of
5
with 100 items per page.
- Q124832924 name "Counterexample-guided predicate abstraction of hybrid systems" @default.
- Q124832924 label "Counterexample-guided predicate abstraction of hybrid systems" @default.
- Q124832924 prefLabel "Counterexample-guided predicate abstraction of hybrid systems" @default.
- Q124832924 P1476 "Counterexample-guided predicate abstraction of hybrid systems" @default.
- Q124832924-2ABD8C1F-7239-4948-9A0F-323C6733AE8C P1476 "Counterexample-guided predicate abstraction of hybrid systems" @default.