© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Introduction to Modeling for Biosciences
David J. Barnes and Dominique Chu
Springer, August 2010.Bibtex Record
@book{3045,
author = {David J. Barnes and Dominique Chu},
title = {Introduction to Modeling for Biosciences},
month = {August},
year = {2010},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2010/3045},
publication_type = {book},
submission_id = {17664_1286452156},
ISBN = {978-1849963251},
publisher = {Springer},
}