Bisimulation Games on Coalgebras

Reference

Barbara König and Christina Mika. Bisimulation games on coalgebras. In CALCO Early Ideas '17, 2017.

Suggested BibTeX entry:

@inproceedings{KM17,
    author = {Barbara K{\"o}nig and Christina Mika},
    booktitle = {CALCO Early Ideas '17},
    title = {Bisimulation Games on Coalgebras},
    year = {2017}
}

This work is not available online here.