Author:
Abdulla Parosh Aziz,Atig Mohamed Faouzi,Jonsson Bengt,Leonardsson Carl
Publisher
Springer International Publishing
Reference49 articles.
1. Lecture Notes in Computer Science;PA Abdulla,2015
2. Abdulla, P.A., Aronis, S., Jonsson, B., Sagonas, K.F.: Optimal dynamic partial order reduction. In: POPL, pp. 373–384. ACM (2014)
3. Lecture Notes in Computer Science;PA Abdulla,2012
4. Abdulla, P.A., Atig, M.F., Jonsson, B., Leonardsson, C.: Stateless model checking for POWER (to appear)
5. Lecture Notes in Computer Science;J Alglave,2013
Cited by
44 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献