Publisher
Springer Berlin Heidelberg
Reference24 articles.
1. Lecture Notes in Computer Science;T Ball,2010
2. Concurrency Tool Comparison repository.
https://facwiki.cs.byu.edu/vv-lab/index.php/Concurrency_Tool_Comparison
3. Dwyer, M., Hatcliff, J., Ranganath, V., Robby, : Exploiting object escape and locking information in partial-order reductions for concurrent object-oriented programs. Formal Meth. Syst. Des. 25, 199–240 (2004)
4. Flanagan, C., Godefroid, P.: Dynamic partial-order reduction for model checking software. In: Proceedings of POPL 2005. ACM (2005)
5. Lecture Notes in Computer Science,1996
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献