Verification of Population Protocols (Q5357724): Difference between revisions
From MaRDI portal
Set profile property. |
Set OpenAlex properties. |
||
| label / en | label / en | ||
Verification of Population Protocols | |||
| Property / full work available at URL | |||
| Property / full work available at URL: https://hal.archives-ouvertes.fr/hal-02391875 / rank | |||
Normal rank | |||
| Property / OpenAlex ID | |||
| Property / OpenAlex ID: W2274165758 / rank | |||
Normal rank | |||
| Property / title | |||
Verification of Population Protocols (English) | |||
| Property / title: Verification of Population Protocols (English) / rank | |||
Normal rank | |||
Latest revision as of 11:40, 30 July 2024
scientific article; zbMATH DE number 6774231
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Verification of Population Protocols |
scientific article; zbMATH DE number 6774231 |
Statements
12 September 2017
0 references
population protocols
0 references
Petri nets
0 references
parametrized verification
0 references
Verification of Population Protocols (English)
0 references
