@article{10_14712_1213_7243_2019_026,
     author = {Wi{\ss}mann, Thorsten and Milius, Stefan and Katsumata, Shin-ya and Dubut, J\'er\'emy},
     title = {A coalgebraic view on reachability},
     journal = {Commentationes Mathematicae Universitatis Carolinae},
     pages = {605--638},
     publisher = {mathdoc},
     volume = {60},
     number = {4},
     year = {2019},
     doi = {10.14712/1213-7243.2019.026},
     mrnumber = {4061365},
     zbl = {07177892},
     language = {en},
     url = {http://geodesic.mathdoc.fr/articles/10.14712/1213-7243.2019.026/}
}