Top cited paper in Theoretical Computer Science journal
Posted: 2nd September 2010
Top cited paper in Theoretical Computer Science journal
The paper "Probabilistic Model Checking of Complex Biological Pathways" by John Heath, Marta Kwiatkowska, Gethin Norman, David Parker and Oksana Tymchyshyn, was recently awarded the Top Cited Article award in the journal Theoretical Computer Science, for the period 2005-2010.
The paper is available here: http://www.prismmodelchecker.org/bibitem.php?key=HKN+08