Basket

    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/0319817
    FileDownloadSizeCommentaryVersionAccess
    Masopust1.pdf4866.6 KBPublisher’s postprintopen-access
     
     

  This site uses cookies to make them easier to browse. Learn more about how we use cookies.

Accept allSettingsReject all