TY  - RPRT
TI  - Critical Observability for Automata and Petri Nets
AU  - Tomáš Masopust
PY  - 2019
UR  - https://arxiv.org/abs/1808.00261
ID  - 1808.00261
ER  -