Počet záznamů: 1  

Partially ordered automata and piecewise testability

  1. 1.
    SYSNO0542403
    NázevPartially 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ánku14
    Druh dok.Článek v odborném periodiku
    Grant GC19-06175J GA ČR - Grantová agentura ČR, CZ - Česká republika
    Institucionální podporaMU-W - RVO:67985840
    Jazyk dok.eng
    Země vyd.DE
    Klíč.slova automata * nondeterminism * complexity
    Spolupracující instituce Technische Universität Dresden (Německo)
    URLhttps://dx.doi.org/10.23638/LMCS-17(2:14)2021
    Trvalý linkhttp://hdl.handle.net/11104/0319817
    Název souboruStaženoVelikostKomentářVerzePřístup
    Masopust1.pdf4866.6 KBVydavatelský postprintpovolen
     
Počet záznamů: 1  

  Tyto stránky využívají soubory cookies, které usnadňují jejich prohlížení. Další informace o tom jak používáme cookies.