© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Interpreting ODP viewpoint specifications: Observations from a Case Study
Chris Taylor, Eerke Boiten, and John Derrick
In Bart Jacobs and Arend Rensink, editors, Formal Methods for Open Object-Based Distributed Systems V, pages 182-196. Kluwer Academic Publishers, March 2002.Bibtex Record
@inproceedings{1359,
author = {Chris Taylor and Eerke Boiten and John Derrick},
title = {{Interpreting ODP viewpoint specifications: Observations from a Case Study}},
month = {March},
year = {2002},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2002/1359},
publication_type = {inproceedings},
submission_id = {15662_1018276364},
booktitle = {Formal Methods for Open Object-Based Distributed Systems V},
editor = {Bart Jacobs and Arend Rensink},
publisher = {Kluwer Academic Publishers},
refereed = {yes},
}