Mayla Brusò, Agostino Cortesi. Non-repudiation analysis using LySa with annotations. Computer Languages, Systems \& Structures, 36(4):352-377, 2010. [doi]
@article{BrusoC10, title = {Non-repudiation analysis using LySa with annotations}, author = {Mayla Brusò and Agostino Cortesi}, year = {2010}, doi = {10.1016/j.cl.2010.04.002}, url = {http://dx.doi.org/10.1016/j.cl.2010.04.002}, tags = {analysis}, researchr = {https://researchr.org/publication/BrusoC10}, cites = {0}, citedby = {0}, journal = {Computer Languages, Systems \& Structures}, volume = {36}, number = {4}, pages = {352-377}, }