Performance Analysis of ARQ Protocols using a Theorem Prover. In: (2008)

by O Hasan, S Tahar
Venue:International Symposium on Performance Analysis of Systems and Software, IEEE Computer Society