%0 Journal Article %1 journals/jsw/LiPHSY14 %A Li, Yangping %A Pan, Xiaoheng %A Hu, Tianming %A Sung, Sam Yuan %A Yuan, Huaqiang %D 2014 %J J. Softw. %K dblp %N 7 %P 1707-1717 %T Specifying Complex Systems in Object-Z: A Case Study of Petrol Supply Systems. %U http://dblp.uni-trier.de/db/journals/jsw/jsw9.html#LiPHSY14 %V 9

@article{journals/jsw/LiPHSY14, added-at = {2020-09-15T00:00:00.000+0200}, author = {Li, Yangping and Pan, Xiaoheng and Hu, Tianming and Sung, Sam Yuan and Yuan, Huaqiang}, biburl = {https://www.bibsonomy.org/bibtex/27d824a26613b9f3c5901999e42a018c9/dblp}, ee = {http://www.jsoftware.us/show-82-984-1.html}, interhash = {81a8f0970154a14ca8517bbbe24b8cd2}, intrahash = {7d824a26613b9f3c5901999e42a018c9}, journal = {J. Softw.}, keywords = {dblp}, number = 7, pages = {1707-1717}, timestamp = {2020-09-16T11:39:36.000+0200}, title = {Specifying Complex Systems in Object-Z: A Case Study of Petrol Supply Systems.}, url = {http://dblp.uni-trier.de/db/journals/jsw/jsw9.html#LiPHSY14}, volume = 9, year = 2014 }