Author:
Ding Zuohua,Shen Hui,Cao Jianwen
Publisher
Springer Science and Business Media LLC
Subject
Hardware and Architecture,Information Systems,Theoretical Computer Science,Software
Reference35 articles.
1. Akl SG (1997) Parallel computation models and methods. Prentice-Hall, Englewood Cliffs
2. Alimonti P, Feuerstein E (1993) Petri nets, hypergraphs and conflicts. In: Graph-theoretic concepts in computer science, vol 657, pp 293–309
3. Avrunin GS, Buy UA, Corbett JC, Dillon LK, Wileden JC (1991) Automated analysis of concurrent systems with the constrained expression toolset. IEEE Trans Softw Eng 17(11):1204–1222
4. Böhm C, Jacopini G (1966) Flow diagram, Turing machines and languages with only two formation rules. Commun ACM 9(5):366–371
5. Burch JR, Clarke EM, Long DE (1991) Representing circuits more efficiently in symbolic model checking. In: Proceedings of the 28th design automation conference. IEEE Computer Society Press, Los Alamitos, pp 403–407
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献