Esparza, Javier
-
BRICS Report Series Nr. 8 (1994): RS-8 Decidability Issues for Petri Nets - Artikler
Decidability Issues for Petri Nets
Resumé PDF (English) -
BRICS Report Series 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
Resumé PDF (English)