Quantitative static analysis of communication protocols using abstract Markov chains
Quantitative static analysis of communication protocols using abstract Markov chains
Abdelraouf Ouadjaout
Antoine Miné