An Individual-based Probabilistic Model for Fish Stock Simulation

by Federico Buti, Flavio Corradini, Emanuela Merelli, Elio Paschini, Pierluigi Penna, Luca Tesei
Published 2010-08-01

Automated Analysis of MUTEX Algorithms with FASE

by Federico Buti, Massimo Callisto De Donato, Flavio Corradini, Maria Rita Di Berardini, Walter Vogler
Published 2011-06-01