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