Items where Author is "Lanciani, Roberta"

Group by: Item Type | Date | No Grouping

Jump to: 2017

Number of items: 1.

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]

This list was generated on Sat Apr 27 00:01:12 2024 CEST.

E-Theses is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.