共 25 条
[21]
McMillan K., Symbolic Model Checking: An Approach to the State Explosion Problem, (1993)
[22]
Papadimitriou C.H., Steiglitz K., Combinatorial Optimization: Algorithms and Complexity, (1982)
[23]
Thomas W., Automata on infinite objects, Handbook of Theoretical Computer Science, B, pp. 133-191, (1990)
[24]
Vardi M.Y., Wolper P., An automata-theoretic approach to automatic program verification, Proceedings of the First IEEE Symposium on Logic in Computer Science, pp. 332-344, (1986)
[25]
Yannakakis M., Graph-theoretic methods in database theory, Proceedings of the 9Th ACM Symposium on Principles of Database Systems, pp. 230-242, (1990)