Formalization and verification of event-driven process chains

• Autores: W.M.P. van der Aalst
• Localización: Information and software technology, ISSN 0950-5849, Vol. 41, Nº 10, 1999, págs. 639-650
• Idioma: inglés
• Texto completo no disponible (Saber más ...)