Disambiguation evidence for SPIN model checker via surface form

"SPIN model checker"

Triples (5)

Triples where some other subject referred to this entity as "SPIN model checker".

Gerard J. Holzmann → knownFor →
"SPIN model checker"
↳ resolves to SPIN model checker
ⓘ
Gerard J. Holzmann → notableWork →
"SPIN model checker"
↳ resolves to SPIN model checker
ⓘ
Gerard J. Holzmann → developed →
"SPIN model checker"
↳ resolves to SPIN model checker
ⓘ
linear temporal logic → hasApplication →
"SPIN model checker"
↳ resolves to SPIN model checker
ⓘ
LTL → usedInTool →
"SPIN model checker"
↳ resolves to SPIN model checker
ⓘ