Formal Workflow Specification Applied to Hotel Management Information Systems.

Jos Luis Caro, Antonio Guevara, Andrs Aguayo, Sergio Glvez, Antonio Carrillo

Browse the full ENTER paper archive.