TY  - RPRT
TI  - A Coalgebraic View on Reachability
AU  - Thorsten Wißmann
AU  - Stefan Milius
AU  - Shin-ya Katsumata
AU  - Jérémy Dubut
PY  - 2020
UR  - https://arxiv.org/abs/1901.10717
ID  - 1901.10717
ER  -