Disambiguation evidence for SMV via surface form

"SMV"

Triples (4)

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

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