School of Computing

The ZENITH System for Object Management in Distributed Multimedia Design Environments

Z. P. Kemp, E. A. Oxborrow, M. J. Davy, P. F. Linington, R. Thearle, G. S. Blair, P. Dark, N. A. Davies, J. A. Mariani, and C. Snape

Information and Software Technology, vol. 34(no. 7):182-196, June 1992.

Bibtex Record

@article{636,
author = {Z. P. Kemp and E. A. Oxborrow and M. J. Davy and P. F. Linington and R. Thearle and G. S. Blair and P. Dark and N. A. Davies and J. A. Mariani and C. Snape},
title = {{The ZENITH System for Object Management in Distributed Multimedia Design Environments}},
month = {June},
year = {1992},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/1992/636},
    journal = {Information and Software Technology},
    number = {no. 7},
    volume = {vol. 34},
}

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

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

Last Updated: 21/03/2014