Authors: Tsuchiya, T Nagano, S Paidi, RB Kikuno, T

Citation: T. Tsuchiya et al., Symbolic model checking for self-stabilizing algorithms, IEEE PARALL, 12(1), 2001, pp. 81-95