Ella E. Roubtsova
A Property Specification Language for Workflow Diagnostics
ICEIS, 2005.
@inproceedings{ICEIS-v2-2005-Roubtsova, author = "Ella E. Roubtsova", booktitle = "{Proceedings of the Seventh International Conference on Enterprise Information Systems, Volume 2}", isbn = "972-8865-19-8", pages = "297--302", title = "{A Property Specification Language for Workflow Diagnostics}", year = 2005, }