Author:
Nemati Hamed,Baumann Christoph,Guanciale Roberto,Dam Mads
Publisher
Springer International Publishing
Reference38 articles.
1. HOL4. http://hol.sourceforge.net/ . Accessed 13 Feb 2018
2. HOL4 implementation of proofs of this paper. https://github.com/rauhbein/cacheproofs . Accessed 13 Feb 2018
3. seL4 Project. http://sel4.systems/ . Accessed 13 Feb 2018
4. Alkassar, E., Hillebrand, M.A., Leinenbach, D., Schirmer, N., Starostin, A., Tsyban, A.: Balancing the load. J. Autom. Reason. 42(2–4), 389–454 (2009)
5. Lecture Notes in Computer Science;JB Almeida,2016
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献