Model Checking with i$$^*$$
Year: 2020
Type: book-chapter
Authors: Novarun Deb, Nabendu Chaki
Institutions: Ca' Foscari University of Venice, University of Calcutta
Language: English
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed
OpenAlex ID: W3008824434