Yangping Li, Xiaoheng Pan, Tianming Hu, Sam Yuan Sung, Huaqiang Yuan. Specifying Complex Systems in Object-Z: A Case Study of Petrol Supply Systems. JSW, 9(7):1707-1717, 2014. [doi]
@article{LiPHSY14,
title = {Specifying Complex Systems in Object-Z: A Case Study of Petrol Supply Systems},
author = {Yangping Li and Xiaoheng Pan and Tianming Hu and Sam Yuan Sung and Huaqiang Yuan},
year = {2014},
doi = {10.4304/jsw.9.7.1707-1717},
url = {http://dx.doi.org/10.4304/jsw.9.7.1707-1717},
researchr = {https://researchr.org/publication/LiPHSY14},
cites = {0},
citedby = {0},
journal = {JSW},
volume = {9},
number = {7},
pages = {1707-1717},
}