© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Architecting Dependable Systems
R. de Lemos, C. Gacek, and A. Romanovsky
, volume 2677 of Lecture Notes in Computer Science Springer, 2003.Bibtex Record
@book{1771,
author = {R. de Lemos and C. Gacek and A. Romanovsky},
title = {{Architecting Dependable Systems}},
month = {unknown},
year = {2003},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2003/1771},
publication_type = {book},
submission_id = {12580_1074883816},
ISBN = {3-540-40727-8},
publisher = {Springer},
volume = { 2677},
series = {Lecture Notes in Computer Science},
}