Inproceedings,

Verifying a self-stabilizing mutual exclusion algorithm.

, and .
PROCOMET, volume 125 of IFIP Conference Proceedings, page 424-443. Chapman & Hall, (1998)

Meta data

Tags

Users

  • @dblp

Comments and Reviews