Computing Coalgebraic Behavioural Metrics On-The-Fly

Reference

Richard Eggert and Barbara König. Computing coalgebraic behavioural metrics on-the-fly. In CALCO Early Ideas '19, 2019.

Suggested BibTeX entry:

@inproceedings{EK19,
    author = {Richard Eggert and Barbara K{\"o}nig},
    booktitle = {CALCO Early Ideas '19},
    title = {Computing Coalgebraic Behavioural Metrics On-The-Fly},
    year = {2019}
}

This work is not available online here.