%0 Conference Paper %1 journals/entcs/LanotteMT05 %A Lanotte, Ruggero %A Maggiolo-Schettini, Andrea %A Troina, Angelo %B QAPL %D 2004 %E Cerone, Antonio %E Pierro, Alessandra Di %I Elsevier %K dblp %P 113-129 %T Automatic Analysis of a Non-Repudiation Protocol. %U http://dblp.uni-trier.de/db/journals/entcs/entcs112.html#LanotteMT05 %V 112

@inproceedings{journals/entcs/LanotteMT05, added-at = {2022-12-01T00:00:00.000+0100}, author = {Lanotte, Ruggero and Maggiolo-Schettini, Andrea and Troina, Angelo}, biburl = {https://www.bibsonomy.org/bibtex/23e8a2a092cacebd1d8464881bd2d4a2f/dblp}, booktitle = {QAPL}, crossref = {conf/qapl/2004}, editor = {Cerone, Antonio and Pierro, Alessandra Di}, ee = {https://doi.org/10.1016/j.entcs.2004.01.020}, interhash = {a602b3cbbb29d0ddb08667cc3d94bd6d}, intrahash = {3e8a2a092cacebd1d8464881bd2d4a2f}, keywords = {dblp}, pages = {113-129}, publisher = {Elsevier}, series = {Electronic Notes in Theoretical Computer Science}, timestamp = {2024-04-09T11:26:01.000+0200}, title = {Automatic Analysis of a Non-Repudiation Protocol.}, url = {http://dblp.uni-trier.de/db/journals/entcs/entcs112.html#LanotteMT05}, volume = 112, year = 2004 }