Probabilistic model checking of complex biological pathways

John Heath, Marta Kwiatkowska, Gethin Norman, David Parker, Oksana Tymchyshyn

Research output: Contribution to conference (unpublished) › Paper

41 Citations (Scopus)

Original language	English
Pages	32-47
Number of pages	16
Publication status	Published - 1 Jan 2006
Event	Proceedings of Computational Methods in Systems Biology (CMSB'06) - Duration: 1 Jan 2006 → …

Conference	Proceedings of Computational Methods in Systems Biology (CMSB'06)
Period	1/01/06 → …

Cite this

@conference{e3ed011b3f1e47b4a31ccd49eeb36c69,

title = "Probabilistic model checking of complex biological pathways",

author = "John Heath and Marta Kwiatkowska and Gethin Norman and David Parker and Oksana Tymchyshyn",

year = "2006",

month = jan,

day = "1",

language = "English",

pages = "32--47",

note = "Proceedings of Computational Methods in Systems Biology (CMSB'06) ; Conference date: 01-01-2006",

}