Author:
Henzinger Thomas A.,Sezgin Ali,Vafeiadis Viktor
Publisher
Springer Berlin Heidelberg
Reference16 articles.
1. Abdulla, P.A., Haziza, F., Holík, L., Jonsson, B., Rezine, A.: An integrated specification and verification technique for highly concurrent data structures. In: Piterman, N., Smolka, S.A. (eds.) TACAS 2013. LNCS, vol. 7795, pp. 324–338. Springer, Heidelberg (2013)
2. Lecture Notes in Computer Science;D. Amit,2007
3. Colvin, R., Doherty, S., Groves, L.: Verifying concurrent data structures by simulation. ENTCS 137(2), 93–110 (2005)
4. Lecture Notes in Computer Science;J. Derrick,2011
5. Lecture Notes in Computer Science;S. Doherty,2009
Cited by
42 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献