Analysing Biochemical Oscillations through Probabilistic Model Checking

Paolo Ballarini, Radu Iulian Mardare, Ivan Mura

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

22 Citationer (Scopus)

Fingeraftryk

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

Earth and Planetary Sciences

Computer Science

Agricultural and Biological Sciences

Physics