Efficient analysis of PEPA model of non-repudiation protocols /
Zhao, Y.
Thomas, N.
University of Newcastle upon Tyne.School of Computing Science.
Newcastle upon Tyne : University of Newcastle upon Tyne, Computing Science,
2009.
Title from caption.