Habilitationen

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

Habilitation, BTU Cottbus, 26.05.2004
2004[05]