@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":"3ddJuLrHD9aQ3dFZB","authorIDs":[],"author_short":["Hao, J.","0003, Y.<nbsp>L.","Cai, W.","Bai, G.","0001, J.<nbsp>S."],"bibbaseid":"hao-0003-cai-bai-0001-vtrustaformalmodelingandverificationframeworkforvirtualizationsystems-2013","bibdata":{"author":["Hao, Jianan","0003, Yang Liu","Cai, Wentong","Bai, Guangdong","0001, Jun Sun"],"author_short":["Hao, J.","0003, Y.<nbsp>L.","Cai, W.","Bai, G.","0001, J.<nbsp>S."],"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}","bibtype":"inproceedings","biburl":"http://www.dblp.org/rec/bibtex/conf/icfem/HaoLCB013","booktitle":"Proceedings of International Conference on Formal Engineering Methods (ICFEM)","conference":"ICFEM","id":"dblp1836499","key":"dblp1836499","pages":"329-346","text":"ICFEM 2013:329-346","title":"vTRUST: A Formal Modeling and Verification Framework for Virtualization Systems","type":"inproceedings","url":"http://dx.doi.org/10.1007/978-3-642-41202-8_22","year":"2013","bibbaseid":"hao-0003-cai-bai-0001-vtrustaformalmodelingandverificationframeworkforvirtualizationsystems-2013","role":"author","urls":{"Paper":"http://dx.doi.org/10.1007/978-3-642-41202-8_22"},"downloads":0},"bibtype":"inproceedings","biburl":"http://people.sutd.edu.sg/~sunjun/Publications/download.bib","creationDate":"2015-02-02T07:46:12.973Z","downloads":0,"keywords":[],"search_terms":["vtrust","formal","modeling","verification","framework","virtualization","systems","hao","0003","cai","bai","0001"],"title":"vTRUST: A Formal Modeling and Verification Framework for Virtualization Systems","year":2013,"dataSources":["ZtcgqYKBLHt2gfuHW"]}