Disambiguation evidence for IC3 model checking algorithm via surface form
"IC3 for timed systems"
Triples (1)
Triples where some other subject referred to this entity
as "IC3 for timed systems".
IC3 model checking algorithm
→
hasVariant
→
"IC3 for timed systems"
ⓘ
↳ resolves to IC3 model checking algorithm