Disambiguation evidence for NuSMV via surface form

"NuSMV"

Triples (4)

Triples where some other subject referred to this entity as "NuSMV".

Symbolic Model Checking → usedInTool →
"NuSMV"
↳ resolves to NuSMV
ⓘ
LTL → usedInTool →
"NuSMV"
↳ resolves to NuSMV
ⓘ
SMV → relatedTo →
"NuSMV"
↳ resolves to NuSMV
ⓘ
Cadence SMV → relatedTo →
"NuSMV"
↳ resolves to NuSMV
ⓘ