Number of the records: 1  

Operations on self-verifying finite automata

  1. TitleOperations on self-verifying finite automata
    Author Jirásek Jozef SAVMATEM - Matematický ústav SAV
    Co-authors Jirásková Galina 1963 SAVMATEM - Matematický ústav SAV

    Szabari Alexander

    Source document Computer Science - Theory and Applications : LNCS 9139, proceedings. P. 231-261. - : Springer, 2015 / Beklemishev Lev D. ; Musatov Daniil V. ; CSR 2015 International Computer Science Symposium
    Languageeng - English
    CountryCH - Switzerland
    Document kindrozpis článkov z periodík (rzb)
    CategoryABC - Chapters in scientific monographs published abroad
    Category of document (from 2022)V2 - Vedecký výstup publikačnej činnosti ako časť editovanej knihy alebo zborníka
    Type of documentkapitola
    Year2015
    DOI 10.1007/978-3-319-20297-6_16
    article

    article

    rok vydaniarok metrikyIFIF Q (best)SJRSJR Q (best)
    2015
Number of the records: 1  

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