I. S. W. B. Prasetya
-
Symbolic Model Checking for Self-Stabilizing Algorithms
IEEE Transactions on Parallel and Distributed Systems
Towards scalable model checking of self-stabilizing programs
Journal of Parallel and Distributed Computing