ACM SIGSOFT Distinguished Paper Award
2011 - GHEZZI CARLO
A. Filieri, C. Ghezzi, G. Tamburrelli - ACM SIGSOFT Distinguished Paper Award: "Run-Time Efficient Probabilistic Model Checking"
Tipology:
Best paper awards
Research area:
Research lines:
Best paper awards
Research area:
Research lines: