Počet záznamů: 1
Partially ordered automata and piecewise testability
- 1.
SYSNO 0542403 Název Partially ordered automata and piecewise testability Tvůrce(i) Masopust, Tomáš (MU-W) RID, ORCID, SAI
Krötzsch, M. (DE)Zdroj.dok. Logical Methods in Computer Science. Roč. 17, č. 2 (2021). - : Logical Methods in Computer Science Číslo článku 14 Druh dok. Článek v odborném periodiku Grant GC19-06175J GA ČR - Grantová agentura ČR, CZ - Česká republika Institucionální podpora MU-W - RVO:67985840 Jazyk dok. eng Země vyd. DE Klíč.slova automata * nondeterminism * complexity Spolupracující instituce Technische Universität Dresden (Německo) URL https://dx.doi.org/10.23638/LMCS-17(2:14)2021 Trvalý link http://hdl.handle.net/11104/0319817 Název souboru Staženo Velikost Komentář Verze Přístup Masopust1.pdf 4 866.6 KB Vydavatelský postprint povolen
Počet záznamů: 1