© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Visualization and Data Analysis 2002
R.Erbacher, P.Chen, M.Grohn, J.Roberts, and C.Wittenbrink, editors
volume 4665, San Jose, CA., January 2002. SPIE.Bibtex Record
@proceedings{2462,
author = {},
title = {Visualization and Data Analysis 2002},
month = {January},
year = {2002},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2002/2462},
publication_type = {proceedings},
submission_id = {13335_1164986341},
editor = {R.Erbacher and P.Chen and M.Grohn and J.Roberts and C.Wittenbrink},
ISBN = {0-8194-4405-7},
volume = {4665},
address = {San Jose, CA.},
publisher = {SPIE},
}