© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Types, invariants, and epochs: specifying changes in RM-ODP and ODP information language
H. Kilov, P. Linington, J. Miller, K. Raymond, and B. Wood
In H.Kilov, B.Rumpe, and I.Simmonds, editors, Proceedings of the OOPSLA'97 Workshop on object-oriented behavioral semantics, TUM-I9737, pages 182-196. Munich University of Technology, October 1997.Bibtex Record
@inproceedings{738,
author = {H. Kilov and P. Linington and J. Miller and K. Raymond and B. Wood},
title = {Types, invariants, and epochs: specifying changes in {RM-ODP} and {ODP} information language},
month = {October},
year = {1997},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/1997/738},
booktitle = {Proceedings of the OOPSLA'97 Workshop on object-oriented behavioral semantics},
editor = {H.Kilov and B.Rumpe and I.Simmonds},
organization = {Munich University of Technology},
refereed = {No},
series = {TUM-I9737},
}