Author:
Tofan Bogdan,Schellhorn Gerhard,Reif Wolfgang
Publisher
Springer International Publishing
Reference19 articles.
1. Lecture Notes in Computer Science;J. Derrick,2011
2. Lecture Notes in Computer Science;S. Doherty,2004
3. Lecture Notes in Computer Science;T. Elmas,2010
4. Flanagan, C., Freund, S.N.: Atomizer: A dynamic atomicity checker for multithreaded programs. In: Proceedings of the 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2004, pp. 256–267. ACM, New York (2004)
5. Henzinger, T., Sezgin, A., Vafeiadis, V.: Aspect-oriented linearizability proofs. In: D’Argenio, P.R., Melgratti, H. (eds.) CONCUR 2013. LNCS, vol. 8052, pp. 242–256. Springer, Heidelberg (2013)
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献