Deng, Weilin

1. New Insights into the Decidability of Opacity in Timed Automata
   2025/04/01 by Weilin Deng, Deng, Weilin, Daowen Qiu +3 · 1 citation
   Computer Science · #Formal Methods in Verification #Petri Nets in System Modeling #Security and Verification in Computing