Deb, N., Chaki, N. & Ghose, A. (2016). i*ToNuSMV: A Prototype for Enabling Model Checking of i* Models. 2016 IEEE 24th International Requirements Engineering Conference (RE) (pp. 397-398). United States: IEEE Xplore.
Please refer to publisher version or contact your library.
Publication Details
Deb, N., Chaki, N. & Ghose, A. (2016). i*ToNuSMV: A Prototype for Enabling Model Checking of i* Models. 2016 IEEE 24th International Requirements Engineering Conference (RE) (pp. 397-398). United States: IEEE Xplore.