Modal Logics for Cryptographic Processes
β
Ulrik Frendrup; Hans HΓΌttel; Jesper Nyholm Jensen
π
Article
π
2002
π
Elsevier Science
π
English
β 214 KB