Paper  bibtex   

@inproceedings{ dblp3251116,
  title = {Context Awareness Systems Design and Reasoning},
  author = {Jin Song Dong and Yuzhang Feng and Jing Sun 0002 and Jun Sun 0001},
  author_short = {Song Dong, J. and Feng, Y. and Sun 0002, J. and Sun 0001, J.},
  bibtype = {inproceedings},
  type = {inproceedings},
  year = {2006},
  key = {dblp3251116},
  id = {dblp3251116},
  biburl = {http://www.dblp.org/rec/bibtex/conf/isola/DongFSS06},
  url = {http://dx.doi.org/10.1109/ISoLA.2006.29},
  conference = {ISoLA},
  pages = {335-340},
  text = {ISoLA 2006:335-340},
  booktitle = {Proceedings of Leveraging Applications of Formal Methods (ISoLA)}
}