%0 Journal Article %1 journals/chinaf/HuZWHWZ12 %A Hu, Ziyi %A Zhao, Yong %A Wang, Xin'an %A Huang, Ru %A Wang, Teng %A Zhang, Xing %D 2012 %J Sci. China Inf. Sci. %K dblp %N 2 %P 480-490 %T Theory and verification of operator design methodology. %U http://dblp.uni-trier.de/db/journals/chinaf/chinaf55.html#HuZWHWZ12 %V 55

@article{journals/chinaf/HuZWHWZ12, added-at = {2024-06-04T00:00:00.000+0200}, author = {Hu, Ziyi and Zhao, Yong and Wang, Xin'an and Huang, Ru and Wang, Teng and Zhang, Xing}, biburl = {https://www.bibsonomy.org/bibtex/2b8d016adf371bb8637ee8aa916558d7c/dblp}, ee = {https://doi.org/10.1007/s11432-011-4537-8}, interhash = {1f5b21d6124693dc1adebb6d4caa109a}, intrahash = {b8d016adf371bb8637ee8aa916558d7c}, journal = {Sci. China Inf. Sci.}, keywords = {dblp}, number = 2, pages = {480-490}, timestamp = {2024-06-10T07:04:07.000+0200}, title = {Theory and verification of operator design methodology.}, url = {http://dblp.uni-trier.de/db/journals/chinaf/chinaf55.html#HuZWHWZ12}, volume = 55, year = 2012 }