Towards efficient verification of population protocols (Q2058386): Difference between revisions
From MaRDI portal
EloiFerrer (talk | contribs) Changed label, description and/or aliases in en, and other parts |
EloiFerrer (talk | contribs) Page on [mardi] deleted: Publication:2058386 |
||
| links / mardi / name | links / mardi / name | ||
Revision as of 15:10, 2 May 2024
No description defined
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Towards efficient verification of population protocols |
No description defined |
Statements
Towards efficient verification of population protocols (English)
0 references
8 December 2021
0 references
population protocols
0 references
automated verification
0 references
termination
0 references
