TY - RPRT TI - Partially Ordered Automata and Piecewise Testability AU - Tomáš Masopust AU - Markus Krötzsch PY - 2021 DO - 10.23638/lmcs-17(2:14)2021 UR - https://arxiv.org/abs/1907.13115 ID - 1907.13115 ER -