学者信息
已发表成果：
WOK 论文 10 篇;
-
Verification of initial-and-final-state opacity for unambiguous weighted automata
ISA Transactions,0019-0578,2024.
Shen, Liren; Miao, Shaowen; Lai, Aiwen; Komenda, Jan
WOS:001241318800001 EI:20241515905564 10.1016/j.isatra.2024.03.019
收录情况：SCIE、EI