Author:
Derrick John,Smith Graeme,Dongol Brijesh
Publisher
Springer International Publishing
Reference18 articles.
1. Alglave, J., Fox, A., Ishtiaq, S., Myreen, M.O., Sarkar, S., Sewell, P., Nardelli, F.Z.: The Semantics of Power and ARM Multiprocessor Machine Code. In: Petersen, L., Chakravarty, M.M.T. (eds.) DAMP 2009, pp. 13–24. ACM (2008)
2. Lecture Notes in Computer Science;D. Amit,2007
3. Bovet, D., Cesati, M.: Understanding the Linux Kernel, 3rd edn. O’Reilly (2005)
4. Lecture Notes in Computer Science;S. Burckhardt,2012
5. Lecture Notes in Computer Science;C. Calcagno,2007
Cited by
17 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献