|
|
|
|
|
|
|
![](../../../00global/00pics/green-tl.png) |
|
![](../../../00global/00pics/green-tr.png) |
|
Publications - Monotonic Set-Extended Prefix Rewriting and Verification of Recursive Ping-Pong Protocols
|
|
![](../../../00global/00pics/green-bl.png) |
|
![](../../../00global/00pics/green-br.png) |
Reference:
G. Delzanno, J. Esparza, and J. Srba. Monotonic set-extended prefix rewriting and verification of recursive ping-pong protocols. Technical report, BRICS, 2006.
Suggested BibTeX entry:
@techreport{DES06b,
author = {G. Delzanno and J. Esparza and J. Srba},
institution = {BRICS},
title = {Monotonic Set-Extended Prefix Rewriting and Verification of Recursive Ping-Pong Protocols},
year = {2006}
}
|
![](../g/pixel.png) |
|
|
|
|
|
|
|
|