Operations on self-verifying finite automata

Počet záznamov: 1

Názov	Operations on self-verifying finite automata
Autor	Jirásek Jozef SAVMATEM - Matematický ústav SAV
Spoluautori	Jirásková Galina 1963 SAVMATEM - Matematický ústav SAV
	Szabari Alexander

Zdroj.dok.	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
Jazyk dok.	eng - angličtina
Krajina	CH - Švajčiarsko
Druh dok.	rozpis článkov z periodík (rzb)
Kategória	ABC - Kapitoly vo vedeckých monografiách vydané v zahraničných vydavateľstvách
Kategória (od 2022)	V2 - Vedecký výstup publikačnej činnosti ako časť editovanej knihy alebo zborníka
Typ výstupu	kapitola
Rok vykazovania	2015
DOI	10.1007/978-3-319-20297-6_16

článok

rok vydania	rok metriky	IF	IF Q (best)	SJR	SJR Q (best)
2015

Počet záznamov: 1