Journal of Computing and Information Technology

Bourahla, Mustapha

• Vol 17, No 3 (2009) - Regular Papers
  Verification of Complex Real-time Systems using Rewriting Logic
  Abstract  PDF