Lu, Tianxiang Automation of Logic, MPI for Informatics, Max Planck Society;
Weidenbach, Christoph Automation of Logic, MPI for Informatics, Max Planck Society;
MPI-I-2011-RG1-002.pdf (Any fulltext), 424KB
Lu, T., Merz, S., & Weidenbach, C.(2011). Towards Verification of the Pastry Protocol using TLA+ (MPI-I-2011-RG1-002). Saarbrücken: Max-Planck-Institut für Informatik. Retrieved from http://domino.mpi-inf.mpg.de/internet/reports.nsf/NumberView/2011-RG1-002.