An efficient model checker based on the axiomatization of propositional temporal logic in rewriting logic - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Mohamed Larbi Rebaiaia' in GoogleThis author has not been identified. Look up 'Jihad Mohamad Al Ja'am' in GoogleThis author has not been identified. Look up 'Ahmad Hasnah' in Google

runs on WebDSL