© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Autonomous Management for Pervasive Computing
I W Marshall and L Sacks
In Proceedings ICCS, pages 182-196, Nashua, 2002.Bibtex Record
@inproceedings{1885, author = {I W Marshall and L Sacks}, title = {{Autonomous Management for Pervasive Computing}}, month = {unknown}, year = {2002}, pages = {182-196}, keywords = {determinacy analysis, Craig interpolants}, note = {}, doi = {}, url = {http://www.cs.kent.ac.uk/pubs/2002/1885}, publication_type = {inproceedings}, submission_id = {6577_1083073424}, booktitle = {Proceedings ICCS}, address = {Nashua}, }