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