Author:
Johnsen Einar Broch,Steffen Martin,Stumpf Johanna Beate
Publisher
Springer International Publishing
Reference47 articles.
1. Goldberg, R.P.: Survey of virtual machine research. IEEE Comput. 7(6), 34–45 (1974)
2. Ben-Yehuda, M., et al.: The turtles project: design and implementation of nested virtualization. In: Proceedings 9th USENIX Symposium on Operating Systems Design and Implementation (OSDI 2010), pp. 423–436. USENIX Association (2010)
3. Williams, D., Jamjoom, H., Weatherspoon, H.: The Xen-Blanket: virtualize once, run everywhere. In: Proceedings 7th European Conference on Computer Systems (EuroSys 2012), pp. 113–126. ACM (2012)
4. Lecture Notes in Computer Science;EB Johnsen,2017
5. Cardelli, L., Gordon, A.D.: Mobile ambients. Theoret. Comput. Sci. 240(1), 177–213 (2000)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Who Carries the Burden of Modularity?;Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles;2020