%0 Journal Article %1 journals/jsjkx/GuoZT18 %A Guo, Yanyan %A Zhang, Nan %A Tong, Xiangrong %D 2017 %J 计算机科学 %K dblp %N 2 %P 17-30 %T UML顺序图形式化语义的研究综述 (Survey on Formal Semantics of UML Sequence Diagram). %U http://dblp.uni-trier.de/db/journals/jsjkx/jsjkx44.html#GuoZT18 %V 44

@article{journals/jsjkx/GuoZT18, added-at = {2020-03-20T00:00:00.000+0100}, author = {Guo, Yanyan and Zhang, Nan and Tong, Xiangrong}, biburl = {https://www.bibsonomy.org/bibtex/24f1104614d946be714e765190b637909/dblp}, ee = {http://www.jsjkx.com/EN/10.11896/j.issn.1002-137X.2017.02.002}, interhash = {ccb5f017acab3e1e333693154e45f5c2}, intrahash = {4f1104614d946be714e765190b637909}, journal = {计算机科学}, keywords = {dblp}, number = 2, pages = {17-30}, timestamp = {2020-03-21T11:56:02.000+0100}, title = {UML顺序图形式化语义的研究综述 (Survey on Formal Semantics of UML Sequence Diagram).}, url = {http://dblp.uni-trier.de/db/journals/jsjkx/jsjkx44.html#GuoZT18}, volume = 44, year = 2017 }