Sandeep K. Shukla, Daniel J. Rosenkrantz, S. S. Ravi. A simulation and validation tool for self-stabilizing protocols. In Jean-Charles Grégoire, Gerard J. Holzmann, Doron A. Peled, editors, The Spin Verification System, Proceedings of a DIMACS Workshop, New Brunswick, New Jersey, USA, August, 1996. Volume 32 of DIMACS Series in Discrete Mathematics and Theoretical Computer Science, pages 153-164, DIMACS/AMS, 1996.
Abstract is missing.