@inproceedings{105b23fdb702430a9533e2df38247e6a,
title = "Modelling the tunability of early T cell signalling events",
abstract = "The Tunable Activation Threshold hypothesis of T Cells is investigated through computational modelling of T cell signalling pathways. Modelling techniques involving the π-calculus and the PRISM model checker are presented, and are applied to produce a stochastic model of T cell signalling. Initial results which demonstrate tuning of T cells are presented.",
keywords = "model checker, MAPK cascade, second order reaction, prism model, stochastic formulation",
author = "Owens, {Nick D. L.} and Jon Timmis and Andrew Greensted and Andy Tyrrell",
year = "2008",
doi = "10.1007/978-3-540-85072-4_2",
language = "English",
isbn = "3540850716",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Nature",
pages = "12--23",
booktitle = "Artificial Immune Systems - 7th International Conference, ICARIS 2008, Proceedings",
address = "Switzerland",
note = "7th International Conference on Artificial Immune Systems, ICARIS 2008 ; Conference date: 10-08-2008 Through 13-08-2008",
}