Vyžádat soubor
Reference/citace: SHEN, L., MIAO, S., LAI, A., KOMENDA, Jan. Verification of initial-and-final-state opacity for unambiguous weighted automata. Isa Transactions. 2024, 148(May), 237-246. ISSN 0019-0578. E-ISSN 1879-2022
Vyžádané dokumenty: Komenda1.pdf - Vydavatelský postprint
Tento vyžádaný dokument není dostupný v režimu otevřeného přístupu (open access). Prostřednictvím níže dostupného formuláře však můžete požádat autora o kopii dokumentu. Pokud bude Vaše žádost akceptována, dokument obdržíte e-mailem.