Ünal, D., Çağlayan, M.U., “Spatiotemporal model checking of location and mobility related security policy specifications”, Turkish Journal of Electrical Engineering and Computer Sciences, 21, 1, 144-173, 2013.

Yayın Tarihi: 
Salı, 1 Ocak, 2013
Yayın Indexi: 
Yayın Bölümü: 
Yayın Türü: