© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Communicating complex systems
P.H. Welch, F.R.M. Barnes, and F.A.C. Polack
In Michael G Hinchey, editor, Proceedings of the 11th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS-2006), pages 182-196, Stanford, California, August 2006. IEEE ISBN: 0-7695-2530-X. Download publication 99 kbytes (PDF)Bibtex Record
@inproceedings{2398,
author = {P.H. Welch and F.R.M. Barnes and F.A.C. Polack},
title = {Communicating Complex Systems},
month = {August},
year = {2006},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {ISBN: 0-7695-2530-X},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2006/2398},
publication_type = {inproceedings},
submission_id = {5191_1154386150},
publisher = {IEEE},
booktitle = {Proceedings of the 11th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS-2006)},
address = {Stanford, California},
editor = {Michael G Hinchey},
}