© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Novel approaches in dependable computing
Rogerio de Lemos
In P. Thevenod-Fosse A. Bondavalli, editor, Proc of the 4th European Dependable Computing Conference (EDCC-4), Lecture Notes in Computer Science 2485, pages 182-196. Springer-Verlag, October 2002. Download publication 17 kbytes (PDF)Bibtex Record
@inproceedings{1565,
author = {Rogerio de Lemos},
title = {Novel Approaches in Dependable Computing},
month = {October},
year = {2002},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2002/1565},
publication_type = {inproceedings},
submission_id = {11472_1039180063},
ISBN = {3-540-00012-7},
booktitle = {Proc of the 4th European Dependable Computing Conference (EDCC-4)},
editor = {A. Bondavalli, P. Thevenod-Fosse},
series = {Lecture Notes in Computer Science 2485},
publisher = {Springer-Verlag},
}