Corrigendum to "Transformation-based model checking temporal trust in multi-agent systems" [Journal of Systems and Software Volume 192, October 2022, 111383]

Download PDF
Open Webpage

Nagat Drawel, Amine Laarej, Jamal Bentahar, Mohamed El-Menshawy

Published: 01 Jan 2024, Last Modified: 10 Oct 2024J. Syst. Softw. 2024EveryoneRevisionsBibTeXCC BY-SA 4.0