|
[BMM09]
Paolo Ballarini, Radu Mardare and Ivan Mura.
Analysing Biochemical Oscillation through Probabilistic Model Checking.
In Proc. 2nd Workshop From Biology to Concurrency and Back (FBTC'08), volume 229 (issue 1) of Electronic Notes in Theoretical Computer Science, pages 3-19, Elsevier.
2009.
[bib]
|
|
Downloads:
 bib
|
|
Notes:
ENTCS is available at www.sciencedirect.com/science/journal/15710661.
|
|
Links:
[Google]
[Google Scholar]
|