Publications by Christine Mika

2017

B. König and C. Mika. Bisimulation games on coalgebras. In CALCO Early Ideas '17, 2017.
Info
B. König, C. Mika, and S. Küpper. Paws: A tool for the analysis of weighted systems. In Proc. of QAPL '17 (International Workshop on Quantitative Aspects of Programming Languages and Systems), volume 250 of EPTCS, 2017.
Info
See eptcs.web.cse.unsw.edu.au ...

2015

Christine Mika. Ein generisches Werkzeug für Sprachäquivalenz bei gewichteten Automaten. Master's thesis, Universität Duisburg-Essen, 2015.
PDF (1 MB)
Info
© University of Duisburg-Essen, Theoretical Computer Science group