Dinarle Ortega, Amelia Soriano. WUC: A System for Workflow Specification and Verification. In Nagib Callaos, Ivan Nunes da Silva, Jorge Molero, editors, World Multiconference on Systemics, Cybernetics and Informatics, ISAS-SCIs 2001, July 22-25, 2001, Orlando, Florida, USA, Proceedings, Volume I: Information Systems Development. pages 496-501, IIIS, 2001.
Abstract is missing.