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
| Originalsprog | Engelsk |
|---|---|
| Tidsskrift | Electronic Notes in Theoretical Computer Science |
| Udgave nummer | 229 |
| Sider (fra-til) | 3 |
| Antal sider | 19 |
| ISSN | 1571-0661 |
| Status | Udgivet - 2009 |