Frédéric Gava, Michaël Guedj, Franck Pommereau. A BSP Algorithm for On-the-fly Checking LTL Formulas on Security Protocols. In Michael Bader, Hans-Joachim Bungartz, Dan Grigoras, Miriam Mehl, Ralf-Peter Mundani, Rodica Potolea, editors, 11th International Symposium on Parallel and Distributed Computing, ISPDC 2012, Munich, Germany, June 25-29, 2012. pages 11-18, IEEE Computer Society, 2012. [doi]
Abstract is missing.