%0 Journal Article %1 journals/ijsi/ZhuWLH12 %A Zhu, Meixia %A Wang, Hanpin %A Liu, Xikui %A Han, Xiaoqiong %D 2012 %J Int. J. Software and Informatics %K dblp %N 2 %P 327-357 %T Formal Analysis of Sequence Diagram with Time Constraints by Model Transformation. %U http://dblp.uni-trier.de/db/journals/ijsi/ijsi6.html#ZhuWLH12 %V 6

@article{journals/ijsi/ZhuWLH12, added-at = {2019-10-29T00:00:00.000+0100}, author = {Zhu, Meixia and Wang, Hanpin and Liu, Xikui and Han, Xiaoqiong}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/27d59c823a30032e39cf4c51af1991c3e/dblp}, ee = {http://www.ijsi.org/ch/reader/view_abstract.aspx?file_no=i123}, interhash = {add554fb93c6b74ea923a9867aa517db}, intrahash = {7d59c823a30032e39cf4c51af1991c3e}, journal = {Int. J. Software and Informatics}, keywords = {dblp}, number = 2, pages = {327-357}, timestamp = {2019-11-02T11:30:17.000+0100}, title = {Formal Analysis of Sequence Diagram with Time Constraints by Model Transformation.}, url = {http://dblp.uni-trier.de/db/journals/ijsi/ijsi6.html#ZhuWLH12}, volume = 6, year = 2012 }