Hesham A. Hefny
Professor of Computer Science, Cairo University
5 zweil st. - Orman - Giza - Egypt (email)
A MODEL CHECKER FOR EPISTEMIC HYBRID AUTOMATA USING CONSTRAINTS LOGIC PROGRAMMING
- Citation:
- Mohamed, R., A. M.Ammar, and H. A. Hefny, "A MODEL CHECKER FOR EPISTEMIC HYBRID AUTOMATA USING CONSTRAINTS LOGIC PROGRAMMING", International Journal of Information Technology and Computer Science, vol. 8, issue 1, pp. 125 - 131, 2017. copy at www.tinyurl.com/y2tvfz73