Logics and models for stochastic analysis of information systems

    Project Details

    StatusFinished
    Effective start/end date01/11/200907/03/2013