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.
@inproceedings{OrtegaS01,
title = {WUC: A System for Workflow Specification and Verification},
author = {Dinarle Ortega and Amelia Soriano},
year = {2001},
tags = {workflow},
researchr = {https://researchr.org/publication/OrtegaS01},
cites = {0},
citedby = {0},
pages = {496-501},
booktitle = {World Multiconference on Systemics, Cybernetics and Informatics, ISAS-SCIs 2001, July 22-25, 2001, Orlando, Florida, USA, Proceedings, Volume I: Information Systems Development},
editor = {Nagib Callaos and Ivan Nunes da Silva and Jorge Molero},
publisher = {IIIS},
isbn = {980-07-7541-2},
}