![](/img/cover-not-exists.png)
Executable Semantics for the Formal Specification and Verification of E-agents
Qasim, Awais, Raza Kazmi, Syed Asad, Fakhir, IlyasVolume:
8
Language:
english
Journal:
Indian Journal of Science and Technology
DOI:
10.17485/ijst/2015/v8i16/55160
Date:
July, 2015
File:
PDF, 367 KB
english, 2015