Analysing Biochemical Oscillations through Probabilistic Model Checking

Paolo Ballarini, Radu Iulian Mardare, Ivan Mura

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

20 Citationer (Scopus)

Abstrakt

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
OriginalsprogEngelsk
TidsskriftElectronic Notes in Theoretical Computer Science
Udgave nummer229
Sider (fra-til)3
Antal sider19
ISSN1571-0661
StatusUdgivet - 2009

Fingeraftryk Dyk ned i forskningsemnerne om 'Analysing Biochemical Oscillations through Probabilistic Model Checking'. Sammen danner de et unikt fingeraftryk.

Citationsformater