Design Synthesis from Interaction and State-Based Specifications. Sun, J. & Dong, J. S. IEEE Trans. Software Eng. (TSE), 32(6):349-364, 2006.
Design Synthesis from Interaction and State-Based Specifications [link]Paper  bibtex   
@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)}
}
Downloads: 0