Mohamed Larbi Rebaiaia, Jihad Mohamad Al Ja'am, Ahmad Hasnah. An efficient model checker based on the axiomatization of propositional temporal logic in rewriting logic. In Proceedings of the 2003 10th IEEE International Conference on Electronics, Circuits and Systems, ICECS 2003, Sharjah, United Arab Emirates, December 14-17, 2003. pages 866-869, IEEE, 2003. [doi]
Abstract is missing.