TY  - RPRT
TI  - Dynamic logic assigned to automata
AU  - Ivan Chajda
AU  - Jan Paseka
PY  - 2018
DO  - 10.1007/s10773-017-3311-0
UR  - https://arxiv.org/abs/1809.04456
ID  - 1809.04456
ER  -