@InProceedings{LMST04,
author={R. Lanotte and A. Maggiolo-Schettini and A. Troina},
title={Automatic Analysis of a Non-Repudiation Protocol},
booktitle={Proc. 2nd International Workshop on Quantitative Aspects of Programming Languages (QAPL'04)},
year={2004},

editor={},
pages={},
organization={},
publisher={},
series={},
volume={},
address={},
month={},
note={},
key={}
}