Number of the records: 1
Partially ordered automata and piecewise testability
- 1.0542403 - MÚ 2022 RIV DE eng J - Journal Article
Masopust, Tomáš - Krötzsch, M.
Partially ordered automata and piecewise testability.
Logical Methods in Computer Science. Roč. 17, č. 2 (2021), č. článku 14. ISSN 1860-5974. E-ISSN 1860-5974
R&D Projects: GA ČR(CZ) GC19-06175J
Institutional support: RVO:67985840
Keywords : automata * nondeterminism * complexity
OECD category: Automation and control systems
Impact factor: 0.591, year: 2021
Method of publishing: Open access
https://dx.doi.org/10.23638/LMCS-17(2:14)2021
Permanent Link: http://hdl.handle.net/11104/0319817File Download Size Commentary Version Access Masopust1.pdf 4 866.6 KB Publisher’s postprint open-access
Number of the records: 1