Author:
Cheung Shing Chi,Giannakopoulou Dimitra,Kramer Jeff
Publisher
Springer Berlin Heidelberg
Reference27 articles.
1. S. Aggarwal, C. Courcoubetis, and P. Wolper, “Adding Liveness Properties to Coupled Finite-State Machines,” ACM Transactions on Programming Languages and Systems, vol. 12, no. 2,, 1990.
2. A. V. Aho, J. E. Hopcroft, and J. D. Ullman, Data Structures and Algorithms: Addison-Wesley, 1983.
3. B. Alpern and F. B. Schneider, “Verifying Temporal Properties without Temporal Logic,” ACM Transactions on Programming Languages and Systems, vol. 11, no. 1, pp. 147–167, 1989.
4. G. R. Andrews, Concurrent Programming — Principles and Practice: The Benjamin / Cummings Publishing Company Ltd., 1991.
5. G. S. Avrunin, U. A. Buy, J. C. Corbett, L. K. Dillon, and J. C. Wileden, “Automated Analysis of Concurrent Systems with the Constrained Expression Toolset,” IEEE Transactions on Software Engineering, vol. 17, no. 11, pp. 1204–1222, 1991.
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献