U. Nitsche

Deterministic ω-regular liveness properties

P. Ochsenschläger, F. Nießner, U. Nitsche, 1998 .

The MobiMed Approach to Privacy in Medical Systems

Stephanie Teufel, Kurt Bauknecht, Ralph Holbein, 1997 .

Application of formal verification and behaviour abstraction to the service interaction problem in intelligent networks

Ulrich Nitsche, U. Nitsche, 1998, FM-Trends 1998.

Verification and behavior abstraction towards a tractable verification technique for large distributed systems

Ulrich Nitsche, U. Nitsche, 1996 .