© University of Kent - Contact | Feedback | Legal | FOI | Cookies
A UML approach to the design of open distributed systems
Behzad Bordbar, John Derrick, and Gill Waters
In Chris George and Huaikou Miao, editors, Formal Methods and Software Engineering, volume 2495 of Lecture Notes in Computer Science, pages 182-196. Springer, November 2002.Bibtex Record
@inproceedings{1556,
author = {Behzad Bordbar and John Derrick and Gill Waters},
title = {{A UML approach to the design of open distributed systems}},
month = {November},
year = {2002},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2002/1556},
publication_type = {inproceedings},
submission_id = {29452_1036508317},
booktitle = {Formal Methods and Software Engineering},
editor = {Chris George and Huaikou Miao},
volume = {2495},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
refereed = {yes},
}