© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Seventh International Conference on Information Visualization (IV 03)
E. Banissi, K. Borner, C. Chen, G. Clapworthy, C. Maple, A. Lobben, C. Moore, J. Roberts, A. Ursyn, and J. Zhang, editors
IEEE Computer Society, July 2003.Bibtex Record
@proceedings{2465,
author = {},
title = {Seventh International Conference on Information Visualization (IV 03)},
month = {July},
year = {2003},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2003/2465},
publication_type = {proceedings},
submission_id = {13676_1164986795},
editor = {E. Banissi and K. Borner and C. Chen and G. Clapworthy and C. Maple and A. Lobben and C. Moore and J. Roberts and A. Ursyn and J. Zhang },
ISBN = {0-7695-1988-1},
publisher = {IEEE Computer Society},
}