© University of Kent - Contact | Feedback | Legal | FOI | Cookies
The 1992 directory standards - implications for earlier implementations of the directory
D W Chadwick
In Colloquium on the Global Directory, London, pages 182-196. IEE, April 1990.Bibtex Record
@inproceedings{2148,
author = {D W Chadwick},
title = {The 1992 Directory Standards - implications for earlier implementations of the Directory},
month = {April},
year = {1990},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/1990/2148},
publication_type = {inproceedings},
booktitle = {Colloquium on the Global Directory, London},
publisher = {IEE},
}