Jesper Nyholm Jensen

Publication Activity (10 Years)

Years Active: 2002-2002
Publications (10 Years): 0

Publications

Ulrik Frendrup, Hans Hüttel, Jesper Nyholm Jensen
Modal Logics for Cryptographic Processes. EXPRESS (2002)