Context Awareness Systems Design and Reasoning. Song Dong, J., Feng, Y., Sun 0002, J., & Sun 0001, J. In Proceedings of Leveraging Applications of Formal Methods (ISoLA), pages 335-340, 2006.
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)}
}
Downloads: 0
{"_id":"CkrQLhavNm2tc7Auy","authorIDs":[],"author_short":["Song Dong, J.","Feng, Y.","Sun 0002, J.","Sun 0001, J."],"bibbaseid":"songdong-feng-sun0002-sun0001-contextawarenesssystemsdesignandreasoning-2006","bibdata":{"title":"Context Awareness Systems Design and Reasoning","author":["Jin Song Dong","Yuzhang Feng","Jing Sun 0002","Jun Sun 0001"],"author_short":["Song Dong, J.","Feng, Y.","Sun 0002, J.","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)","bibtex":"@inproceedings{ dblp3251116,\n title = {Context Awareness Systems Design and Reasoning},\n author = {Jin Song Dong and Yuzhang Feng and Jing Sun 0002 and Jun Sun 0001},\n author_short = {Song Dong, J. and Feng, Y. and Sun 0002, J. and Sun 0001, J.},\n bibtype = {inproceedings},\n type = {inproceedings},\n year = {2006},\n key = {dblp3251116},\n id = {dblp3251116},\n biburl = {http://www.dblp.org/rec/bibtex/conf/isola/DongFSS06},\n url = {http://dx.doi.org/10.1109/ISoLA.2006.29},\n conference = {ISoLA},\n pages = {335-340},\n text = {ISoLA 2006:335-340},\n booktitle = {Proceedings of Leveraging Applications of Formal Methods (ISoLA)}\n}","bibbaseid":"songdong-feng-sun0002-sun0001-contextawarenesssystemsdesignandreasoning-2006","role":"author","urls":{"Paper":"http://dx.doi.org/10.1109/ISoLA.2006.29"},"downloads":0},"bibtype":"inproceedings","biburl":"http://www.dblp.org/rec/bibtex/conf/isola/DongFSS06","creationDate":"2015-02-02T07:01:54.844Z","downloads":0,"keywords":[],"search_terms":["context","awareness","systems","design","reasoning","song dong","feng","sun 0002","sun 0001"],"title":"Context Awareness Systems Design and Reasoning","year":2006,"dataSources":["f9RW5rAwxpGrAX6gP"]}