TY  - RPRT
TI  - Lazy Automata Techniques for WS1S
AU  - Tomáš Fiedor
AU  - Lukáš Holík
AU  - Petr Janků
AU  - Ondřej Lengál
AU  - Tomáš Vojnar
PY  - 2017
UR  - https://arxiv.org/abs/1701.06282
ID  - 1701.06282
ER  -