Monotonic Set-Extended Prefix Rewriting and Verification of Recursive Ping-Pong Protocols
BRICS Report Series
doi 10.7146/brics.v13i14.21919
Full Text
Open PDFAbstract
Available in full text
Date
July 12, 2006
Authors
Publisher
Aarhus University Library