@inproceedings{ dblp1836499,
  title = {vTRUST: A Formal Modeling and Verification Framework for Virtualization Systems},
  author = {Jianan Hao and Yang Liu 0003 and Wentong Cai and Guangdong Bai and Jun Sun 0001},
  author_short = {Hao, J. and Liu 0003, Y. and Cai, W. and Bai, G. and Sun 0001, J.},
  bibtype = {inproceedings},
  type = {inproceedings},
  year = {2013},
  key = {dblp1836499},
  id = {dblp1836499},
  biburl = {http://www.dblp.org/rec/bibtex/conf/icfem/HaoLCB013},
  url = {http://dx.doi.org/10.1007/978-3-642-41202-8_22},
  conference = {ICFEM},
  pages = {329-346},
  text = {ICFEM 2013:329-346},
  booktitle = {Proceedings of International Conference on Formal Engineering Methods (ICFEM)}
}

{"_id":"NGajK99AvdmXyq7aN","authorIDs":[],"author_short":["Hao, J.","Liu 0003, Y.","Cai, W.","Bai, G.","Sun 0001, J."],"bibbaseid":"hao-liu0003-cai-bai-sun0001-vtrustaformalmodelingandverificationframeworkforvirtualizationsystems-2013","bibdata":{"title":"vTRUST: A Formal Modeling and Verification Framework for Virtualization Systems","author":["Jianan Hao","Yang Liu 0003","Wentong Cai","Guangdong Bai","Jun Sun 0001"],"author_short":["Hao, J.","Liu 0003, Y.","Cai, W.","Bai, G.","Sun 0001, J."],"bibtype":"inproceedings","type":"inproceedings","year":"2013","key":"dblp1836499","id":"dblp1836499","biburl":"http://www.dblp.org/rec/bibtex/conf/icfem/HaoLCB013","url":"http://dx.doi.org/10.1007/978-3-642-41202-8_22","conference":"ICFEM","pages":"329-346","text":"ICFEM 2013:329-346","booktitle":"Proceedings of International Conference on Formal Engineering Methods (ICFEM)","bibtex":"@inproceedings{ dblp1836499,\n title = {vTRUST: A Formal Modeling and Verification Framework for Virtualization Systems},\n author = {Jianan Hao and Yang Liu 0003 and Wentong Cai and Guangdong Bai and Jun Sun 0001},\n author_short = {Hao, J. and Liu 0003, Y. and Cai, W. and Bai, G. and Sun 0001, J.},\n bibtype = {inproceedings},\n type = {inproceedings},\n year = {2013},\n key = {dblp1836499},\n id = {dblp1836499},\n biburl = {http://www.dblp.org/rec/bibtex/conf/icfem/HaoLCB013},\n url = {http://dx.doi.org/10.1007/978-3-642-41202-8_22},\n conference = {ICFEM},\n pages = {329-346},\n text = {ICFEM 2013:329-346},\n booktitle = {Proceedings of International Conference on Formal Engineering Methods (ICFEM)}\n}","bibbaseid":"hao-liu0003-cai-bai-sun0001-vtrustaformalmodelingandverificationframeworkforvirtualizationsystems-2013","role":"author","urls":{"Paper":"http://dx.doi.org/10.1007/978-3-642-41202-8_22"},"downloads":0},"bibtype":"inproceedings","biburl":"http://www.dblp.org/rec/bibtex/conf/icfem/HaoLCB013","creationDate":"2015-02-02T07:01:54.623Z","downloads":0,"keywords":[],"search_terms":["vtrust","formal","modeling","verification","framework","virtualization","systems","hao","liu 0003","cai","bai","sun 0001"],"title":"vTRUST: A Formal Modeling and Verification Framework for Virtualization Systems","year":2013,"dataSources":["nhmFhQsmecLFnCpw9"]}