Nr. 14 (2006): RS-14 Monotonic Set-Extended Prefix Rewriting and Verification of Recursive Ping-Pong Protocols

Artikler

• Monotonic Set-Extended Prefix Rewriting and Verification of Recursive Ping-Pong Protocols

  Giorgio Delzanno, Javier Esparza, Jirí Srba

  • PDF (English)