Stephan Merz, Tianxiang Lu, Christoph Weidenbach. Towards Verification of the Pastry Protocol using TLA+. R. Bruni and J. Dingel.
31st IFIP International Conference on Formal Techniques for Networked and Distributed Systems, Jun 2011, Reykjavik, Iceland. 6722, 2011, FMOODS/FORTE 2011.
〈inria-00593523〉