Eintrag weiter verarbeiten
Buchumschlag von On the Verification of Livelock-Freedom and Self-Stabilization on Parameterized Rings
Verfügbar über Open Access

On the Verification of Livelock-Freedom and Self-Stabilization on Parameterized Rings

Gespeichert in:

Bibliographische Detailangaben
Zeitschriftentitel: ACM Transactions on Computational Logic
Personen und Körperschaften: Klinkhamer, Alex, Ebnenasir, Ali
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: