Logo eprints

Browse by Co-Advisor

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

2017

Lanciani, Roberta (2017) Stochastic Approximations in Model Checking: A New Scalable Approach to Collective Systems Verification. Advisor: De Nicola, Prof. Rocco. Coadvisor: Bortolussi, Prof. Luca . pp. 123. [IMT PhD Thesis]

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 Sun Aug 25 00:01:51 2019 CEST.