Analysing Biochemical Oscillations through Probabilistic Model Checking

Paolo Ballarini, Radu Iulian Mardare, Ivan Mura

Research output: Contribution to journalConference article in JournalResearchpeer-review

22 Citations (Scopus)

Fingerprint

Dive into the research topics of 'Analysing Biochemical Oscillations through Probabilistic Model Checking'. Together they form a unique fingerprint.

Keyphrases

Computer Science

Agricultural and Biological Sciences