© 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}, }