共 18 条
[2]
Alur R., 1995, Proceedings of the Twenty-Seventh Annual ACM Symposium on the Theory of Computing, P363, DOI 10.1145/225058.225161
[4]
Gromov ML, 2008, VESTN TOMSK GOS U-UP, V4, P85
[5]
Gromov M, 2009, LECT NOTES COMPUT SC, V5522, P137, DOI 10.1007/978-3-642-02138-1_9
[9]
Kohavi Z., 1978, Switching and Finite Automata Theory, V2nd
[10]
KONDRATEVA OV, 2010, 6 ALL SIB C WOM MATH, P210