• DML-CZ Home

Author: Katsumata, Shin-ya

• Wißmann, Thorsten; Milius, Stefan; Katsumata, Shin-ya; Dubut, Jérémy: A coalgebraic view on reachability. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 60 (2019), issue 4, pp. 605-638