ItalianoClear Cookie - decide language by browser settings
in titoli, abstract e parole chiave
Ricerca
Simple Search
Advanced Search
Ultime accessioni
Browse
Browse by Author
Browse by Subject
Browse by Year
Browse by Type
Browse by Accessibilità del full-text
Informazioni
Policy
About
FAQ
Contatti
[up] Up a level
Group by: Item Type | No Grouping
Jump to: Tesi di dottorato
Number of items: 1.

Tesi di dottorato

Di Stasio, Antonio (2018) Reasoning about LTL Synthesis over finite and infinite games. [Tesi di dottorato]

This list was generated on Wed Apr 23 23:43:06 2025 CEST.

fedOA is powered by EPrints 3.4 which is developed by the School of Electronics and Computer Science at the University of Southampton. About EPrints | Accessibility