Frank Leßke

According to our database, Frank Leßke authored at least 3 papers between 1992 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

1992

Constructive Specifications of Abstract Data Types Using Temporal Logic.

Frank Leßke

Proceedings of the Logical Foundations of Computer Science, 1992