SALLEH AL-HUMAIKANI, M. A. (2021). AUTOMATED MODEL GENERATION OF FSM AND NUSMV MODEL FROM RSA JAVA SOURCE CODE FOR MODEL CHECKING.
Chicago Style CitationSALLEH AL-HUMAIKANI, MOHAMMED ABDULQAWI. AUTOMATED MODEL GENERATION OF FSM AND NUSMV MODEL FROM RSA JAVA SOURCE CODE FOR MODEL CHECKING. 2021.
MLA CitationSALLEH AL-HUMAIKANI, MOHAMMED ABDULQAWI. AUTOMATED MODEL GENERATION OF FSM AND NUSMV MODEL FROM RSA JAVA SOURCE CODE FOR MODEL CHECKING. 2021.
Warning: These citations may not always be 100% accurate.