Len Silverston
-
Mining configurable enterprise information systems
Data & Knowledge Engineering
Verification of the SAP reference models using EPC reduction, state-space analysis, and invariants
Computers in Industry
Verification of SAP reference models
BPM'05 Proceedings of the 3rd international conference on Business Process Management