A Rewriting Logic-Based Computation and Deduction Approach to Avoid Reactive System Malfunctions.

Mohamed Larbi Rebaiaia Mohamed Benmohamed Jihad Mohamad Jaam Ahmad Hasnah A Rewriting Logic-Based Computation and Deduction Approach to Avoid Reactive System Malfunctions. 573-579 2003 conf/pdpta/2003-2 PDPTA db/conf/pdpta/pdpta2003-2.html#RebaiaiaBJH03