Items by "Bortolussi, Luca"

[up] Up a level
Group 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.

This list was generated on Mon May 4 17:29:39 2026 UTC.