Delzanno, Giorgio
-
BRICS Report Series No. 14 (2006): RS-14 Monotonic Set-Extended Prefix Rewriting and Verification of Recursive Ping-Pong Protocols - Articles
Monotonic Set-Extended Prefix Rewriting and Verification of Recursive Ping-Pong Protocols
Abstract PDF