© University of Kent - Contact | Feedback | Legal | FOI | Cookies
On the design of an atm interface with facilities for traffic monitoring and generation
Gerald Tripp
Journal of Network and Computer Applications, 20(2):182-196, April 1997.Bibtex Record
@article{480,
author = {Gerald Tripp},
title = {On the design of an ATM interface with facilities for traffic monitoring and generation},
month = {April},
year = {1997},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/1997/480},
ISSN = {1084-8045},
journal = {Journal of Network and Computer Applications},
number = {2},
publisher = {Academic Press Limited},
volume = {20},
}