Vittoria Nardone, Domenico Raucci, Antonella Santone. Model Checking to Support Action Controls in the Purchasing Process. In Sumitra Reddy, Walid Gaaloul, editors, 25th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE 2016, Paris, France, June 13-15, 2016. pages 199-204, IEEE, 2016. [doi]
Abstract is missing.