School of Computing

Supporting groups in a ubiquitous environment

Dominic Day, David Shrimpton, and Gill Waters

In Proceedings of 3rd Annual PostGraduate Symposium on The Convergence of Telecommunications, Networking & Broadcasting, pages 182-196. EPSRC, Liverpool John Moores University, June 2002.

Bibtex Record

@inproceedings{1387,
author = {Dominic Day and David Shrimpton and Gill Waters},
title = {Supporting Groups in a Ubiquitous Environment},
month = {June},
year = {2002},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2002/1387},
    publication_type = {inproceedings},
    submission_id = {26392_1024583703},
    ISBN = {1 902560 086},
    booktitle = {Proceedings of 3rd Annual PostGraduate Symposium on The Convergence of Telecommunications, Networking & Broadcasting},
    organization = {EPSRC},
    publisher = {Liverpool John Moores University},
    refereed = {yes},
}

School of Computing, University of Kent, Canterbury, Kent, CT2 7NF

Enquiries: +44 (0)1227 824180 or contact us.

Last Updated: 21/03/2014