Disambiguation evidence for FDR model checker via surface form
"FDR model checker"
Triples (2)
Triples where some other subject referred to this entity
as "FDR model checker".
CSP (Communicating Sequential Processes)
→
hasToolSupport
→
"FDR model checker"
ⓘ
↳ resolves to FDR model checker