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

Published: 2006-01-14