![](/img/cover-not-exists.png)
SMC4AC: A New Symbolic Model Checker for Intelligent Agent Communication
El Kholy, Warda, Bentahar, Jamal, El Menshawy, Mohamed, Qu, Hongyang, Dssouli, RachidaVolume:
152
Language:
english
Journal:
Fundamenta Informaticae
DOI:
10.3233/FI-2017-1519
Date:
April, 2017
File:
PDF, 1.51 MB
english, 2017