www.prismmodelchecker.org
[BPdV08] D. Bosnacki, T. Pronk and E. de Vink. In Silico Modelling and Analysis of Ribosome Kinetics and aa-tRNA Competition. In R.-J. Back and I. Petre (editors), Proc. Workshop on Computational Models for Cell Processes (COMPMOD'08), pages 23-38. 2008. [bib] http://www.win.tue.nl/~evink/research/publications.html
Downloads:  bib bib
Links: [Google] [Google Scholar]

Publications