© 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}, }