@inproceedings{ dblp2046244,
  title = {Model Checking Software Architecture Design},
  author = {Jiexin Zhang and Yang Liu 0003 and Jing Sun 0002 and Jin Song Dong and Jun Sun 0001},
  author_short = {Zhang, J. and Liu 0003, Y. and Sun 0002, J. and Song Dong, J. and Sun 0001, J.},
  bibtype = {inproceedings},
  type = {inproceedings},
  year = {2012},
  key = {dblp2046244},
  id = {dblp2046244},
  biburl = {http://www.dblp.org/rec/bibtex/conf/hase/Zhang00D012},
  url = {http://dx.doi.org/10.1109/HASE.2012.12},
  conference = {HASE},
  pages = {193-200},
  text = {HASE 2012:193-200},
  booktitle = {Proceedings of High-Assurance Systems Engineering (HASE)}
}

{"_id":"xtRLwJtJae3Yo6Whn","authorIDs":["54cf20e291c843ab6e000447"],"author_short":["Zhang, J.","Liu 0003, Y.","Sun 0002, J.","Song Dong, J.","Sun 0001, J."],"bibbaseid":"zhang-liu0003-sun0002-songdong-sun0001-modelcheckingsoftwarearchitecturedesign-2012","bibdata":{"title":"Model Checking Software Architecture Design","author":["Jiexin Zhang","Yang Liu 0003","Jing Sun 0002","Jin Song Dong","Jun Sun 0001"],"author_short":["Zhang, J.","Liu 0003, Y.","Sun 0002, J.","Song Dong, J.","Sun 0001, J."],"bibtype":"inproceedings","type":"inproceedings","year":"2012","key":"dblp2046244","id":"dblp2046244","biburl":"http://www.dblp.org/rec/bibtex/conf/hase/Zhang00D012","url":"http://dx.doi.org/10.1109/HASE.2012.12","conference":"HASE","pages":"193-200","text":"HASE 2012:193-200","booktitle":"Proceedings of High-Assurance Systems Engineering (HASE)","bibtex":"@inproceedings{ dblp2046244,\n title = {Model Checking Software Architecture Design},\n author = {Jiexin Zhang and Yang Liu 0003 and Jing Sun 0002 and Jin Song Dong and Jun Sun 0001},\n author_short = {Zhang, J. and Liu 0003, Y. and Sun 0002, J. and Song Dong, J. and Sun 0001, J.},\n bibtype = {inproceedings},\n type = {inproceedings},\n year = {2012},\n key = {dblp2046244},\n id = {dblp2046244},\n biburl = {http://www.dblp.org/rec/bibtex/conf/hase/Zhang00D012},\n url = {http://dx.doi.org/10.1109/HASE.2012.12},\n conference = {HASE},\n pages = {193-200},\n text = {HASE 2012:193-200},\n booktitle = {Proceedings of High-Assurance Systems Engineering (HASE)}\n}","bibbaseid":"zhang-liu0003-sun0002-songdong-sun0001-modelcheckingsoftwarearchitecturedesign-2012","role":"author","urls":{"Paper":"http://dx.doi.org/10.1109/HASE.2012.12"},"downloads":0},"bibtype":"inproceedings","biburl":"http://www.dblp.org/rec/bibtex/conf/hase/Zhang00D012","creationDate":"2015-02-02T07:01:54.671Z","downloads":0,"keywords":[],"search_terms":["model","checking","software","architecture","design","zhang","liu 0003","sun 0002","song dong","sun 0001"],"title":"Model Checking Software Architecture Design","year":2012,"dataSources":["Y9Ek4DGnWvNmMzaWL"]}