Frank Leßke

Publication Activity (10 Years)

Years Active: 1991-1995
Publications (10 Years): 0

Ludwig Maximilian University of Munich, Germany (PHD)

Education History

Ludwig Maximilian University of Munich, Germany

PHD

Publications

Frank Leßke, Stephan Merz
Steam Boiler Control Specification Problem: A TLA Solution. Formal Methods for Industrial Applications (1995)
Frank Leßke
Constructive Specifications of Abstract Data Types Using Temporal Logic. LFCS (1992)
Frank Leßke
On constructive specifications of abstract data types using temporal logic Forschungsberichte, TU Munich (1991)