Design Synthesis from Interaction and State-Based Specifications. 0001, J. S. & Dong, J. S. IEEE Trans. Software Eng. (TSE), 32(6):349-364, 2006. Paper bibtex @article{ dblp3232066,
title = {Design Synthesis from Interaction and State-Based Specifications},
author = {Jun Sun 0001 and Jin Song Dong},
author_short = {Sun 0001, 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)}
}
Downloads: 0
{"_id":"2fi4pHyofBEZ5zrtL","authorIDs":[],"author_short":["0001, J.<nbsp>S.","Dong, J.<nbsp>S."],"bibbaseid":"0001-dong-designsynthesisfrominteractionandstatebasedspecifications-2006","bibdata":{"author":["0001, Jun Sun","Dong, Jin Song"],"author_short":["0001, J.<nbsp>S.","Dong, J.<nbsp>S."],"bibtex":"@article{ dblp3232066,\n title = {Design Synthesis from Interaction and State-Based Specifications},\n author = {Jun Sun 0001 and Jin Song Dong},\n author_short = {Sun 0001, 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":"0001-dong-designsynthesisfrominteractionandstatebasedspecifications-2006","role":"author","urls":{"Paper":"http://doi.ieeecomputersociety.org/10.1109/TSE.2006.55"},"downloads":0},"bibtype":"article","biburl":"http://people.sutd.edu.sg/~sunjun/Publications/download.bib","creationDate":"2015-02-02T07:46:13.392Z","downloads":0,"keywords":[],"search_terms":["design","synthesis","interaction","state","based","specifications","0001","dong"],"title":"Design Synthesis from Interaction and State-Based Specifications","year":2006,"dataSources":["ZtcgqYKBLHt2gfuHW"]}