Abdelraouf Ouadjaout, Antoine Miné. Quantitative Static Analysis of Communication Protocols Using Abstract Markov Chains. Francesco Ranzato. 24th International Symposium on Static Analysis (SAS 2017), Aug 2017, New York, NY, United States. Springer, Lectu
HAL Archives-Ouvertes,
Abdelraouf Ouadjaout, Antoine Miné. Quantitative Static Analysis of Communication Protocols Using Abstract Markov Chains.