%0 Journal Article %1 journals/scp/ChenLRSZ09 %A Chen, Zhenbang %A Liu, Zhiming %A Ravn, Anders P. %A Stolz, Volker %A Zhan, Naijun %D 2009 %J Sci. Comput. Program. %K %N 4 %P 168-196 %T Refinement and verification in component-based model-driven design. %U http://dblp.uni-trier.de/db/journals/scp/scp74.html#ChenLRSZ09 %V 74

@article{journals/scp/ChenLRSZ09, added-at = {2023-12-13T02:14:54.000+0100}, author = {Chen, Zhenbang and Liu, Zhiming and Ravn, Anders P. and Stolz, Volker and Zhan, Naijun}, biburl = {https://www.bibsonomy.org/bibtex/2fa3154f443f1c99646a85dc6f1e3601e/admin}, ee = {http://dx.doi.org/10.1016/j.scico.2008.08.003}, interhash = {7cc11ebe81f3257ffa9959c80101c43b}, intrahash = {fa3154f443f1c99646a85dc6f1e3601e}, journal = {Sci. Comput. Program.}, keywords = {}, number = 4, pages = {168-196}, timestamp = {2023-12-13T02:14:54.000+0100}, title = {Refinement and verification in component-based model-driven design.}, url = {http://dblp.uni-trier.de/db/journals/scp/scp74.html#ChenLRSZ09}, volume = 74, year = 2009 }