| Original language | English |
|---|---|
| Place of Publication | Venice |
| Publisher | Ca'Foscari University, Department of Computer Science |
| Number of pages | 38 |
| Publication status | Published - 2008 |
Publication series
| Name | Technical Report |
|---|---|
| Volume | CS-2008-4 |
Non-repudiation analysis with LYSA with annotations
M. Brusò, A. Cortesi
Research output: Book/Report › Report › Academic