Skip to Main Content (Press Enter)
×
Home
Corsi
Insegnamenti
Professioni
Persone
Pubblicazioni
Strutture
Terza Missione
Attività
Competenze
IT
EN
☰
UNI-FIND
|
UNI-FIND
uninsubria.it
IT
EN
×
Home
Corsi
Insegnamenti
Professioni
Persone
Pubblicazioni
Strutture
Terza Missione
Attività
Competenze
☰
Pubblicazioni
ACTA INFORMATICA
Rivista
Codice:
E001860
ISSN:
0001-5903
Dati Generali
Dati Generali
Pubblicazioni (3)
Preface to special issue: EXPRESS/SOS 2016 + 2017
Curatela
Reachability results for timed automata with unbounded data structures
Articolo
equivalences and optimizations in an expressive XSLT subset
Articolo
No Results Found
