skip to content
  • it
UNIVERSITÀ DEGLI STUDI
DEL SANNIO   Benevento
 

Model Checking to support Action Controls in the Purchasing Process

Raucci, D., V. Nardone, and A. Santone, "Model Checking to support Action Controls in the Purchasing Process", 25th {IEEE} International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, {WETICE} Workshops 2016, Paris, June 13-15, 2016.