Novarun Deb, Nabendu Chaki, Mandira Roy, Surochita Pal, Ankita Bhaumick. Extracting Business Compliant Finite State Models from I ^* Models. In Rituparna Chaki, Agostino Cortesi, Khalid Saeed 0001, Nabendu Chaki, editors, Advanced Computing and Systems for Security - Volume Nine, 6th International Doctoral Symposium on Applied Computation and Security, ACSS 2019, Kolkata, India, 12-13 March, 2019. Volume 995 of Advances in Intelligent Systems and Computing, pages 39-52, Springer, 2019. [doi]
Abstract is missing.