共 50 条
- [25] Automata, Logic and Games for the λ-Calculus LOGIC AND ITS APPLICATIONS (ICLA 2017), 2017, 10119 : 23 - 26
- [27] Parameterized Games and Parameterized Automata ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2018, (277): : 30 - 42
- [28] Stochastic automata networks MODELLING, STATE OBSERVATION AND DIAGNOSIS OF QUANTISED SYSTEMS, 2003, 282 : 199 - 232