External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Tags

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Formal Representation and Analysis of Batch Stock Trading Systems by Logical Petri Net Workflows

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]

Authors

Yuyue Du

This author has not been identified. Look up 'Yuyue Du' in Google

Changjun Jiang

This author has not been identified. Look up 'Changjun Jiang' in Google
runs on