Habib Saissi, Péter Bokor, Can Arda Muftuoglu, Neeraj Suri, Marco Serafini. Efficient Verification of Distributed Protocols Using Stateful Model Checking. In IEEE 32nd Symposium on Reliable Distributed Systems, SRDS 2013, Braga, Portugal, 1-3 October 2013. pages 133-142, IEEE, 2013. [doi]
Abstract is missing.