Disambiguation evidence for PRISM via surface form

"PRISM"

Triples (2)

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

LTL → usedInTool →
"PRISM"
↳ resolves to PRISM
ⓘ
PRISM probabilistic model checker → hasName →
"PRISM"
↳ resolves to PRISM
ⓘ