Disambiguation evidence for PRISM probabilistic model checker via surface form
"PRISM property specification language"
Triples (1)
Triples where some other subject referred to this entity
as "PRISM property specification language".
PRISM probabilistic model checker
→
hasInputLanguage
→
"PRISM property specification language"
ⓘ
↳ resolves to PRISM probabilistic model checker