Disambiguation evidence for Simple Promela Interpreter via surface form
"Simple Promela Interpreter"
Triples (2)
Triples where some other subject referred to this entity
as "Simple Promela Interpreter".
linked to:
SPIN model checker
SPIN verification tool
→
fullName
→
"Simple Promela Interpreter"
ⓘ
↳ resolves to Simple Promela Interpreter