Reduction Model Checking for Multi-Agent Systems of Group Social Commitments
Article in Computation (May 2022)
The most recent citing publications are shown below. View all 5 publications that cite this research output on Dimensions.
Article in Computation (May 2022)
Article in Electronic Notes in Theoretical Computer Science (August 2003)
Article in Formal Aspects of Computing (April 2003)