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