R. T. Gerth

Software support for an intelligent terminal

A.P.W. Bohm, W. Boerhout, R. T. Gerth, 1979 .

Formal verification of self modifying code

R. T. Gerth, 1991 .

Syntax-directed verification of distributed systems

R. T. Gerth, 1989 .

A discretisation method for asynchronous timed systems

R. T. Gerth, B. T. Knaack, 1997 .