Milos Besta

Milos Besta

Authored Publications
Sort By
  • Title
  • Title, descending
  • Year
  • Year, descending
    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