APA (7th ed.) Citation

Nejati, F., Abd Ghani, A. A., Ng, K. Y., & Jafaar, A. (2021). Handling state space explosion in component-based software verification: A review. Institute of Electrical and Electronics Engineers.

Chicago Style (17th ed.) Citation

Nejati, Faranak, Abdul Azim Abd Ghani, Keng Yap Ng, and Azmi Jafaar. Handling State Space Explosion in Component-based Software Verification: A Review. Institute of Electrical and Electronics Engineers, 2021.

MLA (9th ed.) Citation

Nejati, Faranak, et al. Handling State Space Explosion in Component-based Software Verification: A Review. Institute of Electrical and Electronics Engineers, 2021.