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. (2010). Model Checking the Pastry Routing Protocol. In J. Bendisposto, M. Leuschel, & M. Roggenbach (Eds.), Proceedings of the 10th International Workshop Automatic Verification of Critical Systems (pp. 19-21). Düsseldorf: Universität Düsseldorf.