ÜNAL, D., & ÇAĞLAYAN, M. U. (2013). Spatiotemporal model checking of location and mobility related security policy specifications. Turkish Journal of Electrical Engineering & Computer Sciences, 21(1), 144. https://doi.org/10.3906/elk-1105-54
Chicago Style (17th ed.) CitationÜNAL, Devrim, and Mehmet Ufuk ÇAĞLAYAN. "Spatiotemporal Model Checking of Location and Mobility Related Security Policy Specifications." Turkish Journal of Electrical Engineering & Computer Sciences 21, no. 1 (2013): 144. https://doi.org/10.3906/elk-1105-54.
MLA (9th ed.) CitationÜNAL, Devrim, and Mehmet Ufuk ÇAĞLAYAN. "Spatiotemporal Model Checking of Location and Mobility Related Security Policy Specifications." Turkish Journal of Electrical Engineering & Computer Sciences, vol. 21, no. 1, 2013, p. 144, https://doi.org/10.3906/elk-1105-54.