Bisimulation Games on Coalgebras

Reference

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

Suggested BibTeX entry:

@inproceedings{km:games-coalgebras,
    author = {B. K{\"o}nig and C. Mika},
    booktitle = {CALCO Early Ideas '17},
    title = {Bisimulation Games on Coalgebras},
    year = {2017}
}



This work is not available online here.
© University of Duisburg-Essen, Theoretical Computer Science group