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
Citace podle Chicago (17th ed.)Souri, Alireza, a 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.
Citace podle MLA (9th ed.)Souri, Alireza, a 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.