© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Ninth International Conference on Information Visualization (IV 2005)
E. Banissi, M. Sarfraz, J. C. Roberts, Bowen Loften, A. Ursynm, R.A.Burkhard, A.Lee, and G.Andrienko, editors
IEEE Computer Society, July 2005.Bibtex Record
@proceedings{2463,
author = {},
title = {Ninth International Conference on Information Visualization (IV 2005)},
month = {July},
year = {2005},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2005/2463},
publication_type = {proceedings},
submission_id = {13482_1164986517},
editor = {E. Banissi and M. Sarfraz and J. C. Roberts and Bowen Loften and A. Ursynm and R.A.Burkhard and A.Lee and G.Andrienko},
ISBN = {0-7695-2397-8},
publisher = {IEEE Computer Society},
}