@article{ dblp3232066,
  title = {Design Synthesis from Interaction and State-Based Specifications},
  author = {Jun Sun and Jin Song Dong},
  author_short = {Sun, J. and Song Dong, J.},
  bibtype = {article},
  type = {article},
  year = {2006},
  key = {dblp3232066},
  id = {dblp3232066},
  biburl = {http://www.dblp.org/rec/bibtex/journals/tse/SunD06},
  url = {http://doi.ieeecomputersociety.org/10.1109/TSE.2006.55},
  journal = {IEEE Trans. Software Eng. (TSE)},
  pages = {349-364},
  number = {6},
  volume = {32},
  text = {IEEE Trans. Software Eng. (TSE) 32(6):349-364 (2006)}
}

{"_id":"FFEXFyh9dspFvNLkT","authorIDs":[],"author_short":["Sun, J.","Dong, J.<nbsp>S."],"bibbaseid":"sun-dong-designsynthesisfrominteractionandstatebasedspecifications-2006","bibdata":{"author":["Sun, Jun","Dong, Jin Song"],"author_short":["Sun, J.","Dong, J.<nbsp>S."],"bibtex":"@article{ dblp3232066,\n title = {Design Synthesis from Interaction and State-Based Specifications},\n author = {Jun Sun and Jin Song Dong},\n author_short = {Sun, J. and Song Dong, J.},\n bibtype = {article},\n type = {article},\n year = {2006},\n key = {dblp3232066},\n id = {dblp3232066},\n biburl = {http://www.dblp.org/rec/bibtex/journals/tse/SunD06},\n url = {http://doi.ieeecomputersociety.org/10.1109/TSE.2006.55},\n journal = {IEEE Trans. Software Eng. (TSE)},\n pages = {349-364},\n number = {6},\n volume = {32},\n text = {IEEE Trans. Software Eng. (TSE) 32(6):349-364 (2006)}\n}","bibtype":"article","biburl":"http://www.dblp.org/rec/bibtex/journals/tse/SunD06","id":"dblp3232066","journal":"IEEE Trans. Software Eng. (TSE)","key":"dblp3232066","number":"6","pages":"349-364","text":"IEEE Trans. Software Eng. (TSE) 32(6):349-364 (2006)","title":"Design Synthesis from Interaction and State-Based Specifications","type":"article","url":"http://doi.ieeecomputersociety.org/10.1109/TSE.2006.55","volume":"32","year":"2006","bibbaseid":"sun-dong-designsynthesisfrominteractionandstatebasedspecifications-2006","role":"author","urls":{"Paper":"http://doi.ieeecomputersociety.org/10.1109/TSE.2006.55"},"downloads":0,"html":""},"bibtype":"article","biburl":"http://people.sutd.edu.sg/~sunjun/Publications/mine.bib","creationDate":"2015-02-02T15:13:01.037Z","downloads":0,"keywords":[],"search_terms":["design","synthesis","interaction","state","based","specifications","sun","dong"],"title":"Design Synthesis from Interaction and State-Based Specifications","year":2006,"dataSources":["mpMYjTrc4gjXaNRQh"]}