© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Visualization and Data Analysis 2006
Erbacher R, P.Chen, J.Roberts, M.Grohn, and K.Borner, editors
volume 6060. SPIE, January 2006.Bibtex Record
@proceedings{2458,
author = {},
title = {Visualization and Data Analysis 2006},
month = {January},
year = {2006},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2006/2458},
publication_type = {proceedings},
submission_id = {11380_1164984498},
editor = {R,Erbacher and P.Chen and J.Roberts and M.Grohn and K.Borner},
ISBN = {0-8194-6100-8},
volume = {6060},
publisher = {SPIE},
}