Generating MSCs from an Integrated Formal Specification Language. Song Dong, J., Qin, S., & Sun 0001, J. In Proceedings of Integrated Formal Methods (IFM), pages 168-186, 2004.
Generating MSCs from an Integrated Formal Specification Language [link]Paper  bibtex   
@inproceedings{ dblp3507936,
  title = {Generating MSCs from an Integrated Formal Specification Language},
  author = {Jin Song Dong and Shengchao Qin and Jun Sun 0001},
  author_short = {Song Dong, J. and Qin, S. and Sun 0001, J.},
  bibtype = {inproceedings},
  type = {inproceedings},
  year = {2004},
  key = {dblp3507936},
  id = {dblp3507936},
  biburl = {http://www.dblp.org/rec/bibtex/conf/ifm/DongQS04},
  url = {http://dx.doi.org/10.1007/978-3-540-24756-2_10},
  conference = {IFM},
  pages = {168-186},
  text = {IFM 2004:168-186},
  booktitle = {Proceedings of Integrated Formal Methods (IFM)}
}

Downloads: 0