
Milos Besta
Research Areas
Authored Publications
Sort By
Google
An Assertional Correctness Proof of a Self-Stabilizing l-Exclusion Algorithm
Frank Stomp
11th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'06), IEEE CS (2006), pp. 199-208