Disambiguation evidence for Promela via surface form

"Promela modeling language"

Triples (1)

Triples where some other subject referred to this entity as "Promela modeling language".

SPIN verification tool → hasComponent →
"Promela modeling language"
↳ resolves to Promela
ⓘ