Author:
Edelkamp Stefan,Jabbar Shahid
Publisher
Springer Berlin Heidelberg
Reference37 articles.
1. Lecture Notes in Computer Science;A. Aggarwal,1987
2. Aggarwal, A., Vitter, J.S.: The input/output complexity of sorting and related problems. Journal of the ACM 31(9), 1116–1127 (1988)
3. Barnat, J., Brim, L., Cerna, I.: Property driven distribution of nested DFS. In: International Workshop on Verification and Computational Logic (VCL), pp. 1–10 (2002)
4. Barnat, J., Brim, L., Chaloupka, J.: Parallel breadth-first search LTL model checking. In: International Conference on Automated Software Engineering (ASE), pp. 106–115 (2003)
5. Barnat, J., Brim, L., Chaloupka, J.: From distribution memory cycle detection to parallel model checking. Electronic Notes in Theoretical Computer Science 133, 21–39 (2005)
Cited by
29 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献