Items by "Nenzi, Laura"

[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 Aug 24 22:34:35 2026 UTC.