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]
Heinrich Rust
A non-Standard Approach to Operational Semantics for Timed Systems
Habilitation, BTU Cottbus, 26.05.2004
2004[05]