Quantitative Static Analysis of Communication Protocols Using Abstract Markov Chains.

Abdelraouf Ouadjaout, Antoine Min

Browse the full SAS paper archive.