Ella E. Roubtsova. A Property Specification Language for Workflow Diagnostics. In Chin-Sheng Chen, Joaquim Filipe, Isabel Seruca, José Cordeiro, editors, ICEIS 2005, Proceedings of the Seventh International Conference on Enterprise Information Systems, Miami, USA, May 25-28, 2005. pages 297-302, 2005.
Abstract is missing.