School of Computing

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},
}

School of Computing, University of Kent, Canterbury, Kent, CT2 7NF

Enquiries: +44 (0)1227 824180 or contact us.

Last Updated: 21/03/2014