Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Jirí Srba

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

BRICS Report Series

English