Login / Signup

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

Yishi ZhaoNigel Thomas
Published in: ICPADS (2009)
Keyphrases