School of Computing

Exploratory simulation for astrophysics

Rick Walker, Peter Kenny, and Jingqi Miao

In Robert F. Erbacher, Jonathan C. Roberts, Matti T. Grohn, and Katy Borner, editors, Visualization and Data Analysis 2007, volume 6495, pages 182-196. SPIE, January 2007.

Bibtex Record

@conference{2502,
author = {Rick Walker and Peter Kenny and Jingqi Miao},
title = {Exploratory simulation for astrophysics},
month = {January},
year = {2007},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2007/2502},
    publication_type = {conference},
    submission_id = {27072_1174306076},
    booktitle = {Visualization and Data Analysis 2007},
    editor = {Robert F. Erbacher and Jonathan C. Roberts and Matti T. Grohn and Katy Borner},
    volume = {6495},
    publisher = {SPIE},
    refereed = {Yes},
}

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

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

Last Updated: 21/03/2014