Categoria:
Migliore articolo
Area di ricerca:
2011 - GHEZZI CARLO
A. Filieri, C. Ghezzi, G. Tamburrelli, "Run-Time Efficient Probabilistic Model Checking"
Migliore articolo
A. Filieri, C. Ghezzi, G. Tamburrelli, "Run-Time Efficient Probabilistic Model Checking"