Logo eprints

Items where Author is "Nenzi, Laura"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | Date | No Grouping
Jump to: 2016
Number of items: 1.

2016

Nenzi, Laura (2016) A logic-based approach to specify and design spatio-temporal behaviours of complex systems. Advisor: De Nicola, Prof. Rocco. Coadvisor: Bortolussi, Prof. Luca . pp. 199. [IMT PhD Thesis]

This list was generated on Fri Aug 12 20:01:17 2022 CEST.