Hand-Dieter Ehrich

Information Systems as Reactive Systems (Dagstuhl Seminar 98071)

José Meseguer, Ursula Goltz, Hand-Dieter Ehrich, 2021 .

Model-Based Test Case Generation for Real-Time Systems

A. Skou, L. Mokrushin, M. Leucker, 2007 .

Algebraic specification of abstract data types

J. Loeckx, M. Wolf, Hans-Dieter Ehrich, 2001, Logic in Computer Science.