Diana Fischer
Address
Mathematische Grundlagen der InformatikRWTH Aachen
D-52056 Aachen
| Phone: | +49-241-80-21711 |
| Fax: | +49-241-80-22215 |
| Room: | 4114a (E1) / Ahornstr. 55 |
| Email: | fischer [AT] logic.rwth-aachen.de |
Recent Publications
- D. Fischer, E. Grädel, and Ł. Kaiser. Model Checking Games for the Quantitative $\mu$-Calculus. In Proceedings of the 25th International Symposium on Theoretical Aspects of Computer Science, STACS 2008 (S. Albers and P. Weil, Eds.), pp. 301–312, 2008.