Author:
Abdulla Parosh Aziz,Aronis Stavros,Atig Mohamed Faouzi,Jonsson Bengt,Leonardsson Carl,Sagonas Konstantinos
Publisher
Springer Berlin Heidelberg
Reference36 articles.
1. Abdulla, P.A., Aronis, S., Atig, M.F., Jonsson, B., Leonardsson, C., Sagonas, K.: Stateless model checking for TSO and PSO (2015) arXiv:1501.02069
2. Abdulla, P.A., Aronis, S., Jonsson, B., Sagonas, K.: Optimal dynamic partial order reduction. In: POPL, pp. 373–384. ACM (2014)
3. Lecture Notes in Computer Science;P.A. Abdulla,2012
4. Adve, S.V., Gharachorloo, K.: Shared memory consistency models: A tutorial. Computer 29(12), 66–76 (1996)
5. Lecture Notes in Computer Science;J. Alglave,2013
Cited by
81 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献