Eintrag weiter verarbeiten
On the Verification of Livelock-Freedom and Self-Stabilization on Parameterized Rings
Gespeichert in:
Zeitschriftentitel: | ACM Transactions on Computational Logic |
---|---|
Personen und Körperschaften: | , |
In: | ACM Transactions on Computational Logic, 20, 2019, 3, S. 1-36 |
Medientyp: | E-Article |
Sprache: | Englisch |
veröffentlicht: |
Association for Computing Machinery (ACM)
|
Schlagwörter: |