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 a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
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 Mon Oct 7 22:55:24 2024 CEST.

fedOA 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.