© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Repetitive failure, feedback and diagnosis
L Hatton
In JUSE'99, Conference of Japanese Union of Scientists and Engineers, pages 182-196, City University, UK, April 1999.Bibtex Record
@inproceedings{883,
author = {L Hatton},
title = {{Repetitive failure, feedback and diagnosis}},
month = {April},
year = {1999},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/1999/883},
address = {City University, UK},
booktitle = {JUSE'99, Conference of Japanese Union of Scientists and Engineers},
}