ACM SIGSOFT Distinguished Paper Award
Premi e riconoscimenti

ACM SIGSOFT Distinguished Paper Award

Categoria:

Migliore articolo

Area di ricerca:

Linee di ricerca:

2011 - GHEZZI CARLO

A. Filieri, C. Ghezzi, G. Tamburrelli - ACM SIGSOFT Distinguished Paper Award: "Run-Time Efficient Probabilistic Model Checking"