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