共 50 条
- [41] Generalized abstract non-interference: Abstract secure information-flow analysis for automata COMPUTER NETWORK SECURITY, PROCEEDINGS, 2005, 3685 : 221 - 234
- [44] Abstract Characterization of Semigroups of Input Signals of Universal Planar Automata IZVESTIYA SARATOVSKOGO UNIVERSITETA NOVAYA SERIYA-MATEMATIKA MEKHANIKA INFORMATIKA, 2015, 15 (01): : 113 - 121
- [46] Hybrid acceleration using real vector automata (Extended abstract) COMPUTER AIDED VERIFICATION, 2003, 2725 : 193 - 205
- [49] On quasi-products of tree automata JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2002, 8 (02): : 184 - 192
- [50] Recent developments in learning and competition with finite automata (Extended abstract) Internet and Network Economics, Proceedings, 2006, 4286 : 1 - 2