Paolo Ballarini, Marie Duflot. Applications of an expressive statistical model checking approach to the analysis of genetic circuits. Theoretical Computer Science, 599:4-33, 2015. [doi]
@article{BallariniD15,
title = {Applications of an expressive statistical model checking approach to the analysis of genetic circuits},
author = {Paolo Ballarini and Marie Duflot},
year = {2015},
doi = {10.1016/j.tcs.2015.05.018},
url = {http://dx.doi.org/10.1016/j.tcs.2015.05.018},
researchr = {https://researchr.org/publication/BallariniD15},
cites = {0},
citedby = {0},
journal = {Theoretical Computer Science},
volume = {599},
pages = {4-33},
}