© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Visualization and Data Analysis 2003
R. Erbacher, P. Chen, J. Roberts, M. Grohn, and K. Borner, editors
volume 5009, Santa Clara, CA, January 2003. SPIE.Bibtex Record
@proceedings{2461,
author = {},
title = {Visualization and Data Analysis 2003},
month = {January},
year = {2003},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2003/2461},
editor = {R. Erbacher and P. Chen and J. Roberts and M. Grohn and K. Borner},
publication_type = {proceedings},
submission_id = {13112_1164986173},
ISBN = {0-8194-4809-5},
volume = {5009},
address = {Santa Clara, CA},
publisher = {SPIE},
}