© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Proceedings of the 2008 Workshop on Complex Systems Modelling and Simulation, York, UK, September 2008
Susan Stepney, Fiona Polack, and Peter Welch, editors
Luniver Press, September 2008. Download publication 1438 kbytes (PDF)Bibtex Record
@proceedings{2920,
author = {},
title = {Proceedings of the 2008 Workshop on Complex Systems Modelling and Simulation, York, UK, September 2008},
month = {September},
year = {2008},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2008/2920},
publication_type = {proceedings},
submission_id = {5839_1243432947},
editor = {Susan Stepney and Fiona Polack and Peter Welch},
ISBN = {978-1-905986-17-0},
publisher = {Luniver Press},
}