• DML-CZ Home
• Commentationes Mathematicae Universitatis Carolinae

Author: Wißmann, Thorsten

• 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