Wil M. P. van der Aalst, H. M. W. Verbeek, A. Kumar. Verification of XRL: An XML-based Workflow Language. In Weiming Shen, Zongkai Lin, Jean-Paul A. Barthès, Mohamed Kamel, editors, Proceedings of the Sixth International Conference on Computer Supported Cooperative Work in Design, CSCWD 2001, July 12-14, 2001, London, Ontario, Canada. pages 427-432, 2001. [doi]
Abstract is missing.