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
Number of items: 1.

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

This list was generated on Sun Jan 26 07:07:31 2025 CET.

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