Model checking (corrected on 13-05-2020)
Aggregazione dei criteri
PDF
Per visualizzare il file, fai click su questo link: model_checking.pdf