| |
| 1995 | ||
|---|---|---|
| 2 | Frank Lesske, Stephan Merz: Steam Boiler Control Specification Problem: A TLA Solution. Formal Methods for Industrial Applications 1995: 339-358 | |
| 1992 | ||
| 1 | Frank Lesske: Constructive Specifications of Abstract Data Types Using Temporal Logic. LFCS 1992: 269-280 | |
| 1 | Stephan Merz | [2] |