Yuyue Du, Changjun Jiang. Formal Representation and Analysis of Batch Stock Trading Systems by Logical Petri Net Workflows. In Chris George, Huaikou Miao, editors, Formal Methods and Software Engineering, 4th International Conference on Formal Engineering Methods, ICFEM 2002 Shanghai, China, October 21-25, 2002, Proceedings. Volume 2495 of Lecture Notes in Computer Science, pages 221-225, Springer, 2002. [doi]
@inproceedings{DuJ02:0,
title = {Formal Representation and Analysis of Batch Stock Trading Systems by Logical Petri Net Workflows},
author = {Yuyue Du and Changjun Jiang},
year = {2002},
url = {http://link.springer.de/link/service/series/0558/bibs/2495/24950221.htm},
tags = {analysis, workflow},
researchr = {https://researchr.org/publication/DuJ02%3A0},
cites = {0},
citedby = {0},
pages = {221-225},
booktitle = {Formal Methods and Software Engineering, 4th International Conference on Formal Engineering Methods, ICFEM 2002 Shanghai, China, October 21-25, 2002, Proceedings},
editor = {Chris George and Huaikou Miao},
volume = {2495},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-00029-1},
}