APA (7th ed.) Citation

Souri, A., & Jafari Navimipour, N. (2014). Behavioral modeling and formal verification of a resource discovery approach in Grid computing. Expert systems with applications, 41(8), 3831-3849. https://doi.org/10.1016/j.eswa.2013.11.042

Chicago Style (17th ed.) Citation

Souri, Alireza, and Nima Jafari Navimipour. "Behavioral Modeling and Formal Verification of a Resource Discovery Approach in Grid Computing." Expert Systems with Applications 41, no. 8 (2014): 3831-3849. https://doi.org/10.1016/j.eswa.2013.11.042.

MLA (9th ed.) Citation

Souri, Alireza, and Nima Jafari Navimipour. "Behavioral Modeling and Formal Verification of a Resource Discovery Approach in Grid Computing." Expert Systems with Applications, vol. 41, no. 8, 2014, pp. 3831-3849, https://doi.org/10.1016/j.eswa.2013.11.042.