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]
@inproceedings{KwiatkowskaN009,
title = {Quantitative Verification Techniques for Biological Processes},
author = {Marta Kwiatkowska and Gethin Norman and David Parker 0001},
year = {2009},
doi = {10.1007/978-3-540-88869-7_20},
url = {https://doi.org/10.1007/978-3-540-88869-7_20},
researchr = {https://researchr.org/publication/KwiatkowskaN009},
cites = {0},
citedby = {0},
pages = {391-409},
booktitle = {Algorithmic Bioprocesses},
editor = {Anne Condon and David Harel and Joost N. Kok and Arto Salomaa and Erik Winfree},
series = {Natural Computing Series},
publisher = {Springer},
isbn = {978-3-540-88868-0},
}