%0 Journal Article %1 journals/chinaf/ZhouGZW16 %A Zhou, Yu %A Ge, Jidong %A Zhang, Pengcheng %A Wu, Weigang %D 2016 %J Sci. China Inf. Sci. %K dblp %N 3 %P 32101:1-32101:17 %T Model based verification of dynamically evolvable service oriented systems. %U http://dblp.uni-trier.de/db/journals/chinaf/chinaf59.html#ZhouGZW16 %V 59

@article{journals/chinaf/ZhouGZW16, added-at = {2020-03-02T00:00:00.000+0100}, author = {Zhou, Yu and Ge, Jidong and Zhang, Pengcheng and Wu, Weigang}, biburl = {https://www.bibsonomy.org/bibtex/28561dbf9eb65e30a687320a70704debb/dblp}, ee = {https://doi.org/10.1007/s11432-015-5332-8}, interhash = {39e7a2b1473a6c6a2b411432b89a269b}, intrahash = {8561dbf9eb65e30a687320a70704debb}, journal = {Sci. China Inf. Sci.}, keywords = {dblp}, number = 3, pages = {32101:1-32101:17}, timestamp = {2020-03-03T11:55:09.000+0100}, title = {Model based verification of dynamically evolvable service oriented systems.}, url = {http://dblp.uni-trier.de/db/journals/chinaf/chinaf59.html#ZhouGZW16}, volume = 59, year = 2016 }