Edinburgh Research Explorer

Specifying and Reasoning about Workflows with Path Constraints

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Standard

Specifying and Reasoning about Workflows with Path Constraints. / Fan, Wenfei; Weinstein, Scott.

Internet Applications: 5th International Computer Science Conference, ICSC'99, Hong Kong, China, December 13-15, 1999, Proceedings. Vol. 1749 Springer Berlin Heidelberg, 1999. p. 226-235.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Harvard

Fan, W & Weinstein, S 1999, Specifying and Reasoning about Workflows with Path Constraints. in Internet Applications: 5th International Computer Science Conference, ICSC'99, Hong Kong, China, December 13-15, 1999, Proceedings. vol. 1749, Springer Berlin Heidelberg, pp. 226-235. https://doi.org/10.1007/978-3-540-46652-9_22

APA

Fan, W., & Weinstein, S. (1999). Specifying and Reasoning about Workflows with Path Constraints. In Internet Applications: 5th International Computer Science Conference, ICSC'99, Hong Kong, China, December 13-15, 1999, Proceedings (Vol. 1749, pp. 226-235). Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-540-46652-9_22

Vancouver

Fan W, Weinstein S. Specifying and Reasoning about Workflows with Path Constraints. In Internet Applications: 5th International Computer Science Conference, ICSC'99, Hong Kong, China, December 13-15, 1999, Proceedings. Vol. 1749. Springer Berlin Heidelberg. 1999. p. 226-235 https://doi.org/10.1007/978-3-540-46652-9_22

Author

Fan, Wenfei ; Weinstein, Scott. / Specifying and Reasoning about Workflows with Path Constraints. Internet Applications: 5th International Computer Science Conference, ICSC'99, Hong Kong, China, December 13-15, 1999, Proceedings. Vol. 1749 Springer Berlin Heidelberg, 1999. pp. 226-235