HRCTL: A Specification Logic for Hierarchical Hybrid Automata | Dr. Ammar Mohammed

HRCTL: A Specification Logic for Hierarchical Hybrid Automata

Citation:: Mohammed, A., "HRCTL: A Specification Logic for Hierarchical Hybrid Automata", Innovation in Computational Science, specia issue to the International Journal of Advanced Studies in Computers, Science & Engineering (IJASCSE), vol. 2, issue special 2, pp. 14-23, 2013.