Articles by M.T. Kimour (1)

SYMTC: Towards a Symbolic Model Checking for the Codesign

R. Boudour and M.T. Kimour

Asian Journal of Information Technology 4 ( 11 ): 1055 - 1060 , 2005