Toward a backward model checking

Author: Nassima Aleb  

Publisher: Inderscience Publishers

ISSN: 1757-2657

Source: International Journal of Computer Aided Engineering and Technology, Vol.5, Iss.1, 2013-11, pp. : 20-43

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract