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