Items where Author is "Ballarini, Paolo"
 | Up a level |
Group by: Item Type | No Grouping
Jump to: Departmental Technical Report
Number of items: 2.
Departmental Technical Report
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.
Unitn-eprints Research supports Open Archives Protocol for Metadata Harvesting OAI 2.0
with a base URL of http://eprints.biblio.unitn.it/cgi/oai2
Contact and information