Analysis of signalling pathways using the prism model checker

Muffy Calder, Vladislav Vyshemirsky, David Gilbert, Richard Orton

Research output: Contribution to conference › Paper

Fingerprint

Dive into the research topics of 'Analysis of signalling pathways using the prism model checker'. Together they form a unique fingerprint.

Computer Science