|
[LMST04]
R. Lanotte, A. Maggiolo-Schettini and A. Troina.
Automatic Analysis of a Non-Repudiation Protocol.
In Proc. 2nd International Workshop on Quantitative Aspects of Programming Languages (QAPL'04).
March 2004.
[bib]
http://www.di.unipi.it/~troina/
|
|
Downloads:
 bib
|
|
Links:
[Google]
[Google Scholar]
|
|
Available from:
http://www.di.unipi.it/~troina/
|