Abstract
Analysing Biochemical Oscillations through Probabilistic Model Checking. In Proc. of the Second International Workshop "From Biology To Concurrency" (FBTC 2008), Electronic Notes in Theoretical Computer Science
| Original language | English |
|---|---|
| Journal | Electronic Notes in Theoretical Computer Science |
| Issue number | 229 |
| Pages (from-to) | 3 |
| Number of pages | 19 |
| ISSN | 1571-0661 |
| Publication status | Published - 2009 |