Disambiguation evidence for PRISM probabilistic model checker via surface form
"PRISM model checker"
Triples (1)
Triples where some other subject referred to this entity
as "PRISM model checker".
linear temporal logic
→
hasApplication
→
"PRISM model checker"
ⓘ
↳ resolves to PRISM probabilistic model checker