Publications by Christine Mika
2017 | |||||
B. König and C. Mika. Bisimulation games on coalgebras. In CALCO Early Ideas '17, 2017. |
| ||||
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. |
| ||||
2015 | |||||
Christine Mika. Ein generisches Werkzeug für Sprachäquivalenz bei gewichteten Automaten. Master's thesis, Universität Duisburg-Essen, 2015. |
|