Počet záznamů: 1
Partially ordered automata and piecewise testability
- 1.Masopust, T., Krötzsch, M. Partially ordered automata and piecewise testability. Logical Methods in Computer Science. 2021, 17(2), 14. ISSN 1860-5974. E-ISSN 1860-5974. Dostupné z: https://doi.org/10.23638/LMCS-17(2:14)2021.
Počet záznamů: 1