TY  - JOUR
AU  - Wißmann, Thorsten
AU  - Milius, Stefan
AU  - Katsumata, Shin-ya
AU  - Dubut, Jérémy
TI  - A coalgebraic view on reachability
JO  - Commentationes Mathematicae Universitatis Carolinae
PY  - 2019
SP  - 605
EP  - 638
VL  - 60
IS  - 4
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/articles/10.14712/1213-7243.2019.026/
DO  - 10.14712/1213-7243.2019.026
LA  - en
ID  - 10_14712_1213_7243_2019_026
ER  -