No Citation Found
How to cite this article
R . Boudour, M.T . Laskri and M.T . Kimour, 2006. SYMTC: An Efficient Symbolic Model Checker for Embedded Systems. Information Technology Journal, 5: 144-148.
DOI: 10.3923/itj.2006.144.148
URL: https://scialert.net/abstract/?doi=itj.2006.144.148
DOI: 10.3923/itj.2006.144.148
URL: https://scialert.net/abstract/?doi=itj.2006.144.148