N. L. Kelem, Richard J. Feiertag. A Separation Model for Virtual Machine Monitors. In IEEE Symposium on Security and Privacy. pages 78-86, 1991.
@inproceedings{KelemF91, title = {A Separation Model for Virtual Machine Monitors}, author = {N. L. Kelem and Richard J. Feiertag}, year = {1991}, tags = {meta-model, Meta-Environment}, researchr = {https://researchr.org/publication/KelemF91}, cites = {0}, citedby = {0}, pages = {78-86}, booktitle = {IEEE Symposium on Security and Privacy}, }