© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Nav++: Vanet traffic detection and dissemination using mobile agents
Mariusz Saternus and Gareth Owen
International Journal of Latest Trends in Computing, 1(1):182-196, September 2010.Bibtex Record
@article{3038,
author = {Mariusz Saternus and Gareth Owen},
title = {Nav++: VANET Traffic Detection and Dissemination using Mobile Agents},
month = {September},
year = {2010},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2010/3038},
publication_type = {article},
submission_id = {26601_1283956906},
journal = {International Journal of Latest Trends in Computing},
volume = {1},
number = {1},
publisher = {Sprinter Global},
}