{"_id":"K5qsn5PXBtpobikmA","authorIDs":[],"author_short":["Song Dong, J.","Qin, S.","Sun 0001, J."],"bibbaseid":"songdong-qin-sun0001-generatingmscsfromanintegratedformalspecificationlanguage-2004","bibdata":{"title":"Generating MSCs from an Integrated Formal Specification Language","author":["Jin Song Dong","Shengchao Qin","Jun Sun 0001"],"author_short":["Song Dong, J.","Qin, S.","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)","bibtex":"@inproceedings{ dblp3507936,\n title = {Generating MSCs from an Integrated Formal Specification Language},\n author = {Jin Song Dong and Shengchao Qin and Jun Sun 0001},\n author_short = {Song Dong, J. and Qin, S. and Sun 0001, J.},\n bibtype = {inproceedings},\n type = {inproceedings},\n year = {2004},\n key = {dblp3507936},\n id = {dblp3507936},\n biburl = {http://www.dblp.org/rec/bibtex/conf/ifm/DongQS04},\n url = {http://dx.doi.org/10.1007/978-3-540-24756-2_10},\n conference = {IFM},\n pages = {168-186},\n text = {IFM 2004:168-186},\n booktitle = {Proceedings of Integrated Formal Methods (IFM)}\n}","bibbaseid":"songdong-qin-sun0001-generatingmscsfromanintegratedformalspecificationlanguage-2004","role":"author","urls":{"Paper":"http://dx.doi.org/10.1007/978-3-540-24756-2_10"},"downloads":0},"bibtype":"inproceedings","biburl":"http://www.dblp.org/rec/bibtex/conf/ifm/DongQS04","creationDate":"2015-02-02T07:01:54.858Z","downloads":0,"keywords":[],"search_terms":["generating","mscs","integrated","formal","specification","language","song dong","qin","sun 0001"],"title":"Generating MSCs from an Integrated Formal Specification Language","year":2004,"dataSources":["r6QtXFPEEhbhiTfzF"]}