School of Computing

Modelling Relationships in Object Management Systems

Zarine Kemp

In Proceedings of Object Technology '93, DS3, pages 182-196, Cambridge, England, April 1993.

Bibtex Record

@inproceedings{635,
author = {Zarine Kemp},
title = {{Modelling Relationships in Object Management Systems}},
month = {April},
year = {1993},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/1993/635},
    address = {Cambridge, England},
    booktitle = {Proceedings of Object Technology '93},
    series = {DS3},
}

School of Computing, University of Kent, Canterbury, Kent, CT2 7NF

Enquiries: +44 (0)1227 824180 or contact us.

Last Updated: 21/03/2014