APA (7th ed.) Citation

Saad, S., Fadel, E., Alzamzami, O., Eassa, F., & Alghamdi, A. M. Temporal-Logic-Based Testing Tool for Programs Using the Message Passing Interface (MPI) and Open Multi-Processing (OpenMP) Programming Models. IEEE.

Chicago Style (17th ed.) Citation

Saad, Salwa, Etimad Fadel, Ohoud Alzamzami, Fathy Eassa, and Ahmed Mohammed Alghamdi. Temporal-Logic-Based Testing Tool for Programs Using the Message Passing Interface (MPI) and Open Multi-Processing (OpenMP) Programming Models. IEEE.

MLA (9th ed.) Citation

Saad, Salwa, et al. Temporal-Logic-Based Testing Tool for Programs Using the Message Passing Interface (MPI) and Open Multi-Processing (OpenMP) Programming Models. IEEE.