Disambiguation evidence for Symbolic Model Checking via surface form
"Symbolic Model Checking: An Approach to the State Explosion Problem"
Triples (4)
Triples where some other subject referred to this entity
as "Symbolic Model Checking: An Approach to the State Explosion Problem".
Kenneth McMillan
→
notableWork
→
"Symbolic Model Checking: An Approach to the State Explosion Problem"
ⓘ
↳ resolves to Symbolic Model Checking
Kenneth L. McMillan
→
notableWork
→
"Symbolic Model Checking: An Approach to the State Explosion Problem"
ⓘ
↳ resolves to Symbolic Model Checking
Kenneth L. McMillan
→
authorOf
→
"Symbolic Model Checking: An Approach to the State Explosion Problem"
ⓘ
↳ resolves to Symbolic Model Checking
Ken McMillan
→
notableWork
→
"Symbolic Model Checking: An Approach to the State Explosion Problem"
ⓘ
↳ resolves to Symbolic Model Checking