Belinda M. Carter, Maria E. Orlowska
On correctness criteria for workflow
ICEIS, 2007.
@inproceedings{ICEIS-DISI-2007-CarterO,
author = "Belinda M. Carter and Maria E. Orlowska",
booktitle = "{Proceedings of the Ninth International Conference on Enterprise Information Systems, Volume 1: DISI}",
isbn = "978-972-8865-88-7",
pages = "315--322",
title = "{On correctness criteria for workflow}",
year = 2007,
}