Items by "Bortolussi, Luca"
![[up]](/style/images/multi_up.png)
Up a levelGroup by: Item Type | No Grouping
Number of items: 1.
Nenzi, Laura and Bortolussi, Luca (2015) Specifying and Monitoring Properties of Stochastic Spatio-Temporal Systems in Signal Temporal Logic. In: 8th International Conference on Performance Evaluation Methodologies and Tools.