Frank Leßke

According to our database, Frank Leßke authored at least 3 papers between 1991 and 1995.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

1995

Abstrakte Datentypen und temporale Logik: ein kombinierter Spezifikationsansatz.

Frank Leßke

PhD thesis, 1995

Steam Boiler Control Specification Problem: A TLA Solution.

Frank Leßke, Stephan Merz

Proceedings of the Formal Methods for Industrial Applications, 1995

1991

On constructive specifications of abstract data types using temporal logic

Frank Leßke

Forschungsberichte, TU Munich, 1991