Lu, Tianxiang Automation of Logic, MPI for Informatics, Max Planck Society;
Weidenbach, Christoph Automation of Logic, MPI for Informatics, Max Planck Society;
Lu, T., Merz, S., & Weidenbach, C. (2011). Towards Verification of the Pastry Routing Protocol using TLA+. In R. Bruni, & J. Dingel (Eds.), Formal Techniques for Distributed Systems (pp. 244-258). Berlin: Springer.