(Q948666)

English

Promela

verification modeling language

Protocol Meta Language
Process Meta Language

In more languages

default for all languages

No label defined

No description defined

Statements

modeling language

0 references

specification language

0 references

communicating sequential processes

0 references

0 references

Gerard J. Holzmann

0 references

pml

0 references

Stack Exchange tag

https://stackoverflow.com/tags/promela

0 references

Identifiers

1 reference

Freebase Data Dumps

publication date

28 October 2013

Microsoft Academic ID

0 references

1 reference

26 January 2022

https://docs.openalex.org/download-snapshot/snapshot-data-format

Sitelinks

Wikipedia(5 entries)

dewiki PROMELA
enwiki Promela
frwiki PROMELA
itwiki PROMELA
kowiki 프로멜라

Wikibooks(0 entries)

Wikinews(0 entries)

Wikiquote(0 entries)

Wikisource(0 entries)

Wikiversity(0 entries)

Wikivoyage(0 entries)

Wiktionary(0 entries)

Multilingual sites(0 entries)

Retrieved from "https://www.wikidata.org/w/index.php?title=Q948666&oldid=1729790669"