Toggle navigation
Home
Master Journal List
Contact
Suggest a Journal
Articles by R Boudour (1)
SYMTC: An Efficient Symbolic Model Checker for Embedded Systems
R . Boudour
,
M.T . Laskri
and
M.T . Kimour
Information Technology Journal 5 ( 1 ): 144 - 148 , 2006
Do you have a suggestion for journals
Suggest Journal