© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Implementation of a mechanism in the OSI directory
Y. Ma and D.W. Chadwick
Minimicro Systems (China), 17(7):182-196, 1996.Bibtex Record
@article{2120,
author = {Ma, Y. and Chadwick, D.W.},
title = {Implementation of a Mechanism in the {OSI} Directory},
month = {unknown},
year = {1996},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/1996/2120},
publication_type = {article},
journal = {Minimicro Systems (China)},
volume = {17},
number = {7},
}