Comparing Methods for the Efficient Analysis of PEPA Models of Non-repudiation Protocols.

Yishi Zhao, Nigel Thomas

Browse the full ICPADS paper archive.