A Model Checker for Epistemic Hybrid Automata Using Constraints Logic Programming | Dr. Ammar Mohammed

A Model Checker for Epistemic Hybrid Automata Using Constraints Logic Programming

Citation:: Mohammed, A., R. Mohamed, and H. Hefny, "A Model Checker for Epistemic Hybrid Automata Using Constraints Logic Programming", International Journal of Computer Science and Information Technologies, vol. 8, issue 1, pp. 125-131, 2017.