@article{QAPL-2004-LanotteMT05,
	author        = "Ruggero Lanotte and Andrea Maggiolo-Schettini and Angelo Troina",
	doi           = "10.1016/j.entcs.2004.01.020",
	journal       = "{Electronic Notes in Theoretical Computer Science}",
	pages         = "113--129",
	title         = "{Automatic Analysis of a Non-Repudiation Protocol}",
	volume        = 112,
	year          = 2005,
}