Uli Fahrenberg

Relational and Algebraic Methods in Computer Science

Formal Modeling and Analysis of Timed Systems