Treffer: Probabilistic analysis of self-stabilizing systems: A case study on a mutual exclusion algorithm
Title:
Probabilistic analysis of self-stabilizing systems: A case study on a mutual exclusion algorithm
Authors:
Source:
2018 Real-Time and Embedded Systems and Technologies (RTEST) Real-Time and Embedded Systems and Technologies (RTEST), 2018. :88-95 May, 2018
Relation:
2018 Real-Time and Embedded Systems and Technologies (RTEST)
Database:
IEEE Xplore Digital Library