Items by "Bortolussi, Luca"
![[up]](/style/images/multi_up.png)
Up a levelGroup by: Item Type | No Grouping
Jump to: Conference or Workshop Item
Number of items: 1.
Conference or Workshop Item
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.