共 50 条
- [2] Abstract neural automata Kybernetes: An International Journal of Cybernetics and General Systems, 27 (01):
- [5] Abstract Probabilistic Automata VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, 2011, 6538 : 324 - 339
- [7] Graphs and Automata Extended abstract PROCEEDINGS OF THE PRAGUE STRINGOLOGY CONFERENCE 2013, 2013, : 1 - 6
- [10] Stuttering for Abstract Probabilistic Automata JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2014, 83 (01): : 1 - 19