Frank Lesske

	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

Coauthor Index

1

Stephan Merz

[2]

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page