© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Sensor Networks of Intelligent Devices
C Roadknight and I W Marshall
In Proceedings EWSN, pages 182-196, 2004.Bibtex Record
@inproceedings{1876,
author = {C Roadknight and I W Marshall},
title = {{Sensor Networks of Intelligent Devices}},
month = {unknown},
year = {2004},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2004/1876},
publication_type = {inproceedings},
submission_id = {6113_1083072407},
booktitle = {Proceedings EWSN},
}