@inproceedings{ dblp2046244,
  title = {Model Checking Software Architecture Design},
  author = {Jiexin Zhang and Yang Liu and Jing Sun and Jin Song Dong and Jun Sun},
  author_short = {Zhang, J. and Liu, Y. and Sun, J. and Song Dong, J. and Sun, 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":"GtA84RDxCZuX2DzG5","authorIDs":[],"author_short":["Zhang, J.","Liu, Y.","Sun, J.","Dong, J.<nbsp>S.","Sun, J."],"bibbaseid":"zhang-liu-sun-dong-sun-modelcheckingsoftwarearchitecturedesign-2012","bibdata":{"author":["Zhang, Jiexin","Liu, Yang","Sun, Jing","Dong, Jin Song","Sun, Jun"],"author_short":["Zhang, J.","Liu, Y.","Sun, J.","Dong, J.<nbsp>S.","Sun, J."],"bibtex":"@inproceedings{ dblp2046244,\n title = {Model Checking Software Architecture Design},\n author = {Jiexin Zhang and Yang Liu and Jing Sun and Jin Song Dong and Jun Sun},\n author_short = {Zhang, J. and Liu, Y. and Sun, J. and Song Dong, J. and Sun, 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}","bibtype":"inproceedings","biburl":"http://www.dblp.org/rec/bibtex/conf/hase/Zhang00D012","booktitle":"Proceedings of High-Assurance Systems Engineering (HASE)","conference":"HASE","id":"dblp2046244","key":"dblp2046244","pages":"193-200","text":"HASE 2012:193-200","title":"Model Checking Software Architecture Design","type":"inproceedings","url":"http://dx.doi.org/10.1109/HASE.2012.12","year":"2012","bibbaseid":"zhang-liu-sun-dong-sun-modelcheckingsoftwarearchitecturedesign-2012","role":"author","urls":{"Paper":"http://dx.doi.org/10.1109/HASE.2012.12"},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"http://people.sutd.edu.sg/~sunjun/Publications/mine.bib","creationDate":"2015-02-02T15:13:00.877Z","downloads":0,"keywords":[],"search_terms":["model","checking","software","architecture","design","zhang","liu","sun","dong","sun"],"title":"Model Checking Software Architecture Design","year":2012,"dataSources":["mpMYjTrc4gjXaNRQh"]}