%0 Journal Article %1 journals/ijseke/HeWDZZ13 %A He, Hongyue %A Wang, Zhixue %A Dong, Qingchao %A Zhang, Weizhong %A Zhu, Weixing %D 2013 %J International Journal of Software Engineering and Knowledge Engineering %K dblp %N 2 %P 117-146 %T Ontology-Based Semantic Verification for UML Behavioral Models. %U http://dblp.uni-trier.de/db/journals/ijseke/ijseke23.html#HeWDZZ13 %V 23

@article{journals/ijseke/HeWDZZ13, added-at = {2013-06-24T00:00:00.000+0200}, author = {He, Hongyue and Wang, Zhixue and Dong, Qingchao and Zhang, Weizhong and Zhu, Weixing}, biburl = {https://www.bibsonomy.org/bibtex/25816f0267eed5dfdcb162b3ab5e27c57/dblp}, ee = {http://dx.doi.org/10.1142/S0218194013500010}, interhash = {5a009845637dc900bc354c200bd86ef5}, intrahash = {5816f0267eed5dfdcb162b3ab5e27c57}, journal = {International Journal of Software Engineering and Knowledge Engineering}, keywords = {dblp}, number = 2, pages = {117-146}, timestamp = {2013-08-13T13:28:38.000+0200}, title = {Ontology-Based Semantic Verification for UML Behavioral Models.}, url = {http://dblp.uni-trier.de/db/journals/ijseke/ijseke23.html#HeWDZZ13}, volume = 23, year = 2013 }