Počet záznamů: 1
Partially ordered automata and piecewise testability
- 1.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
Obor OECD: Automation and control systems
Impakt faktor: 0.591, rok: 2021
Způsob publikování: Open access
https://dx.doi.org/10.23638/LMCS-17(2:14)2021
http://hdl.handle.net/11104/0319817
Počet záznamů: 1