José Luis Caro, Antonio Guevara, Andrés Aguayo, Sergio Gálvez, Antonio Carrillo. Formal Workflow Specification Applied to Hotel Management Information Systems. In Andrew J. Frew, Martin Hitz, Peter O'Connor, editors, Information and Communication Technologies in Tourism, ENTER 2003, Helsinki, Finland, 2003. pages 373-381, Springer, 2003. [doi]
Abstract is missing.