Xiaoshan Li, Zhiming Liu, Zhensheng Guo. Formal Object-Oriented Analysis and Design of an Online Ticketing System. In 8th Asia-Pacific Software Engineering Conference (APSEC 2001), 4-7 December 2001, Macau, China. pages 259, IEEE Computer Society, 2001. [doi]
@inproceedings{LiLG01, title = {Formal Object-Oriented Analysis and Design of an Online Ticketing System}, author = {Xiaoshan Li and Zhiming Liu and Zhensheng Guo}, year = {2001}, url = {http://csdl.computer.org/comp/proceedings/apsec/2001/1408/00/14080259abs.htm}, tags = {analysis, design}, researchr = {https://researchr.org/publication/LiLG01}, cites = {0}, citedby = {0}, pages = {259}, booktitle = {8th Asia-Pacific Software Engineering Conference (APSEC 2001), 4-7 December 2001, Macau, China}, publisher = {IEEE Computer Society}, isbn = {0-7695-1408-1}, }