Počet záznamů: 1  

Partially ordered automata and piecewise testability

  1. 1.
    MASOPUST, T., KRÖTZSCH, M. Partially ordered automata and piecewise testability. Logical Methods in Computer Science. 2021, 17(2), 14. ISSN 1860-5974. E-ISSN 1860-5974. Dostupné z: doi: 10.23638/LMCS-17(2:14)2021.
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.