APA (7th ed.) Citation

Bourahla, M. (2008). Generating Exact Approximations to Model Check Concurrent Systems. International Arab Journal of Information Technology (IAJIT), 5(4), 137.

Chicago Style (17th ed.) Citation

Bourahla, Mustapha. "Generating Exact Approximations to Model Check Concurrent Systems." International Arab Journal of Information Technology (IAJIT) 5, no. 4 (2008): 137.

MLA (9th ed.) Citation

Bourahla, Mustapha. "Generating Exact Approximations to Model Check Concurrent Systems." International Arab Journal of Information Technology (IAJIT), vol. 5, no. 4, 2008, p. 137.

Warning: These citations may not always be 100% accurate.