Disambiguation evidence for Symbolic Model Checking via surface form
"Symbolic Model Checking: 10^20 States and Beyond"
Triples (1)
Triples where some other subject referred to this entity
as "Symbolic Model Checking: 10^20 States and Beyond".
Symbolic Model Checking
→
notablePublication
→
"Symbolic Model Checking: 10^20 States and Beyond"
ⓘ
↳ resolves to Symbolic Model Checking