@inproceedings{ dblp3217096,
  title = {A Reasoning Method for Timed CSP Based on Constraint Solving},
  author = {Jin Song Dong and Ping Hao and Jun Sun 0001 and Xian Zhang},
  author_short = {Song Dong, J. and Hao, P. and Sun 0001, J. and Zhang, X.},
  bibtype = {inproceedings},
  type = {inproceedings},
  year = {2006},
  key = {dblp3217096},
  id = {dblp3217096},
  biburl = {http://www.dblp.org/rec/bibtex/conf/icfem/DongHSZ06},
  url = {http://dx.doi.org/10.1007/11901433_19},
  conference = {ICFEM},
  pages = {342-359},
  text = {ICFEM 2006:342-359},
  booktitle = {Proceedings of International Conference on Formal Engineering Methods (ICFEM)}
}

{"_id":"F96RuKDCNyy6i2GJa","authorIDs":[],"author_short":["Song Dong, J.","Hao, P.","Sun 0001, J.","Zhang, X."],"bibbaseid":"songdong-hao-sun0001-zhang-areasoningmethodfortimedcspbasedonconstraintsolving-2006","bibdata":{"title":"A Reasoning Method for Timed CSP Based on Constraint Solving","author":["Jin Song Dong","Ping Hao","Jun Sun 0001","Xian Zhang"],"author_short":["Song Dong, J.","Hao, P.","Sun 0001, J.","Zhang, X."],"bibtype":"inproceedings","type":"inproceedings","year":"2006","key":"dblp3217096","id":"dblp3217096","biburl":"http://www.dblp.org/rec/bibtex/conf/icfem/DongHSZ06","url":"http://dx.doi.org/10.1007/11901433_19","conference":"ICFEM","pages":"342-359","text":"ICFEM 2006:342-359","booktitle":"Proceedings of International Conference on Formal Engineering Methods (ICFEM)","bibtex":"@inproceedings{ dblp3217096,\n title = {A Reasoning Method for Timed CSP Based on Constraint Solving},\n author = {Jin Song Dong and Ping Hao and Jun Sun 0001 and Xian Zhang},\n author_short = {Song Dong, J. and Hao, P. and Sun 0001, J. and Zhang, X.},\n bibtype = {inproceedings},\n type = {inproceedings},\n year = {2006},\n key = {dblp3217096},\n id = {dblp3217096},\n biburl = {http://www.dblp.org/rec/bibtex/conf/icfem/DongHSZ06},\n url = {http://dx.doi.org/10.1007/11901433_19},\n conference = {ICFEM},\n pages = {342-359},\n text = {ICFEM 2006:342-359},\n booktitle = {Proceedings of International Conference on Formal Engineering Methods (ICFEM)}\n}","bibbaseid":"songdong-hao-sun0001-zhang-areasoningmethodfortimedcspbasedonconstraintsolving-2006","role":"author","urls":{"Paper":"http://dx.doi.org/10.1007/11901433_19"},"downloads":0},"bibtype":"inproceedings","biburl":"http://www.dblp.org/rec/bibtex/conf/icfem/DongHSZ06","creationDate":"2015-02-02T07:01:54.815Z","downloads":0,"keywords":[],"search_terms":["reasoning","method","timed","csp","based","constraint","solving","song dong","hao","sun 0001","zhang"],"title":"A Reasoning Method for Timed CSP Based on Constraint Solving","year":2006,"dataSources":["afirNGKMu8Lqj6WZp"]}