Henzinger, Thomas; Jobstmann, Barbara; Wolf, Verena Formalisms for specifying Markovian population models. (English) Zbl 1216.68190 Int. J. Found. Comput. Sci. 22, No. 4, 823-841 (2011). MSC: 68Q85 60J28 92C42 PDFBibTeX XMLCite \textit{T. Henzinger} et al., Int. J. Found. Comput. Sci. 22, No. 4, 823--841 (2011; Zbl 1216.68190) Full Text: DOI
Didier, Frédéric; Henzinger, Thomas A.; Mateescu, Maria; Wolf, Verena Approximation of event probabilities in noisy cellular processes. (English) Zbl 1211.92016 Theor. Comput. Sci. 412, No. 21, 2128-2141 (2011). MSC: 92C37 92C40 60J20 65C50 60J27 PDFBibTeX XMLCite \textit{F. Didier} et al., Theor. Comput. Sci. 412, No. 21, 2128--2141 (2011; Zbl 1211.92016) Full Text: DOI
Henzinger, Thomas A.; Jobstmann, Barbara; Wolf, Verena Formalisms for specifying Markovian population models. (English) Zbl 1260.68284 Bournez, Olivier (ed.) et al., Reachability problems. 3rd international workshop, RP 2009, Palaiseau, France, September 23–25, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-04419-9/pbk). Lecture Notes in Computer Science 5797, 3-23 (2009). MSC: 68Q87 60J27 65C40 68Q85 PDFBibTeX XMLCite \textit{T. A. Henzinger} et al., Lect. Notes Comput. Sci. 5797, 3--23 (2009; Zbl 1260.68284) Full Text: DOI Link