Disambiguation evidence for Symbolic Model Checking via surface form
"Symbolic Model Checking (paper)"
Triples (1)
Triples where some other subject referred to this entity
as "Symbolic Model Checking (paper)".
Edmund M. Clarke
→
notableWork
→
"Symbolic Model Checking (paper)"
ⓘ
↳ resolves to Symbolic Model Checking
linked to:
Edmund Melson Clarke Jr.