%0 Journal Article %A Wißmann, Thorsten %A Milius, Stefan %A Katsumata, Shin-ya %A Dubut, Jérémy %T A coalgebraic view on reachability %J Commentationes Mathematicae Universitatis Carolinae %D 2019 %P 605-638 %V 60 %N 4 %I mathdoc %U http://geodesic.mathdoc.fr/articles/10.14712/1213-7243.2019.026/ %R 10.14712/1213-7243.2019.026 %G en %F 10_14712_1213_7243_2019_026