[IEEE 2010 International Conference on Computer and Communication Technology (ICCCT) - Allahabad, Uttar Pradesh, India (2010.09.17-2010.09.19)] 2010 International Conference on Computer and Communication Technology (ICCCT) - Model checking message exchange in Location Based Services
Moily, Ashwini, Prasanna, Guru, Shetty, Keerthi S., Singh, SanjayYear:
2010
Language:
english
DOI:
10.1109/iccct.2010.5640417
File:
PDF, 384 KB
english, 2010