Dirk Lenzkes

Publication Activity (10 Years)

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

Publications

Carsten Weise, Dirk Lenzkes
Weak Refinement for Modal Hybrid Systems. HART (1997)
Carsten Weise, Dirk Lenzkes
Efficient Scaling-Invariant Checking of Timed Bisimulation. STACS (1997)