Habilitationen entstanden am Lehrstuhl unter Prof. Dr. rer. nat. Claus Lewerentz

Heinrich Rust
A non-Standard Approach to Operational Semantics for Timed Systems

Habilitation, BTU Cottbus, 26.05.2004
2004[05]