Anindya Basu
-
A SPIN-based model checker for telecommunication protocols
SPIN '01 Proceedings of the 8th international SPIN workshop on Model checking of software