Backes, Michael Group M. Backes, Max Planck Institute for Software Systems, Max Planck Society;
Backes, M., Lorenz, S., Maffei, M., & Pecina, K. (2008). The CASPA Tool: Causality-Based Abstraction for Security Protocol Analysis. In A. Gupta, & S. Malik (Eds.), Computer Aided Verification: 20th International Conference, CAV 2008 (pp. 419-422). Berlin: Springer.