© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Preface: Refine 2008 proceedings
Eerke A. Boiten, John Derrick, and Gerhard Schellhorn
Electronic Notes in Theoretical Computer Science, 214:182-196, June 2008 [doi].Bibtex Record
@article{2882,
author = {Eerke A. Boiten and John Derrick and Gerhard Schellhorn},
title = {Preface: REFINE 2008 Proceedings},
month = {June},
year = {2008},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {10.1016/j.entcs.2008.06.001 },
url = {http://www.cs.kent.ac.uk/pubs/2008/2882},
publication_type = {article},
submission_id = {14928_1237215540},
ISSN = {1571-0661},
journal = {Electronic Notes in Theoretical Computer Science},
volume = {214},
}