© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Detecting suspicious intrusions into next-generation networks
Andrew Lehane and Gerald Tripp
Agilent Measurement Journal, Issue 2. Second Quarter 2007:182-196, May 2007.Bibtex Record
@article{2547,
author = {Andrew Lehane and Gerald Tripp},
title = {Detecting Suspicious Intrusions into Next-Generation Networks},
month = {May},
year = {2007},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2007/2547},
publication_type = {article},
submission_id = {6398_1180622905},
journal = {Agilent Measurement Journal},
volume = {Issue 2. Second Quarter 2007},
publisher = {Agilent Technologies Inc.},
}