Formal Methods for Biochemical Signalling Pathways
DOI10.1007/978-1-84882-736-3_6zbMath1185.92041OpenAlexW2135793590WikidataQ59675339 ScholiaQ59675339MaRDI QIDQ3557672
Stephen T. Gilmore, Jane Hillston, Vladislav Vyshemirsky, Muffy Calder
Publication date: 23 April 2010
Published in: Formal Methods: State of the Art and New Directions (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-1-84882-736-3_6
Biomedical imaging and signal processing (92C55) Kinetics in biochemical problems (pharmacokinetics, enzyme kinetics, etc.) (92C45) Applications of Markov chains and discrete-time Markov processes on general state spaces (social mobility, learning theory, industrial processes, etc.) (60J20) Biochemistry, molecular biology (92C40)
Related Items (2)
Uses Software
This page was built for publication: Formal Methods for Biochemical Signalling Pathways