Volker Gerstner

Publication Activity (10 Years)

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

Publications

Werner Damm, Gert Döhmen, Volker Gerstner, Bernhard Josko
Modular Verification of Petri Nets: The Temporal Logic Approach. REX Workshop (1989)