© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Architecting Dependable Systems II
R. de Lemos, C. Gacek, and A. Romanovsky
, volume 3069 of Lecture Notes in Computer Science Springer, June 2004.Bibtex Record
@book{2566, author = {R. de Lemos and C. Gacek and A. Romanovsky}, title = {Architecting Dependable Systems II}, month = {June}, year = {2004}, pages = {182-196}, keywords = {determinacy analysis, Craig interpolants}, note = {}, doi = {}, url = {http://www.cs.kent.ac.uk/pubs/2004/2566}, publication_type = {book}, submission_id = {9525_1184000398}, publisher = {Springer}, volume = {3069}, series = {Lecture Notes in Computer Science }, }