Martin Steffen

Publication Activity (10 Years)

Years Active: 1994-2021
Publications (10 Years): 24

Top Topics

Operational Semantics

Discrete Event Simulation

Static Analysis

International Symposium

Top Venues

J. Log. Algebraic Methods Program.

Sci. Comput. Program.

University of Erlangen-Nuremberg, Germany (PHD)

Education History

University of Erlangen-Nuremberg, Germany

PHD

Publications