Marta Kwiatkowska, Gethin Norman, David Parker 0001. Quantitative Verification Techniques for Biological Processes. In Anne Condon, David Harel, Joost N. Kok, Arto Salomaa, Erik Winfree, editors, Algorithmic Bioprocesses. Natural Computing Series, pages 391-409, Springer, 2009. [doi]
Abstract is missing.