External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Tags

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Compositional Verification of Business Processes by Model-Checking

Luis Eduardo Mendoza, Manuel I. Capel, María A. Pérez. Compositional Verification of Business Processes by Model-Checking. In Juan Garbajosa Sopeña, Manuel I. Capel Tuñón, editors, Modelling, Simulation, Verification and Validation of Enterprise Information Systems, Proceedings of the 8th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS 2010, In conjunction with . pages 60-69, SciTePress, 2010.

Abstract

Abstract is missing.

runs on