EnglishCancella i cookie per la scelta della lingua
in titoli, abstract e parole chiave
Ricerca
Ricerca semplice
Ricerca avanzata
Ultime accessioni
Scorri per
Autore
Settori scientifico-disciplinari
Anno
Tipologia prodotto
Accessibilità del full-text
Informazioni
Policy
Informazioni su fedOA
FAQ
Contatti
Torna al livello superiore
Esporta come [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Raggruppa per: Tipologia del documento | Nessun raggruppamento
Vai a: Tesi di dottorato
Numero di documenti: 1.

Tesi di dottorato

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

Questa lista è stata generata il Tue Apr 23 22:35:00 2024 CEST.

Università di Napoli - Centro di Ateneo per le Biblioteche