Christoph Sprenger

Publication Activity (10 Years)

Years Active: 1994-2024
Publications (10 Years): 21

Top Topics

Coloured Petri Nets

Security Protocols

Top Venues

Arch. Formal Proofs

J. Comput. Secur.

Publications