![]() | Up a level |
Ballarini, Paolo and Mura, Ivan and Mardare, Radu (2008) Query-based Verification of Biochemical Oscillations through Probabilistic Model Checking. UNSPECIFIED.
Ballarini, Paolo and Csikasz-Nagy, Attila and Mazza, Tommaso and Palmisano, Alida (2008) An analysis of irreversible transitions in a model of the buddying yeast cell cycle. UNSPECIFIED.