Skip to Main Content (Press Enter)
×
Home
Corsi
Insegnamenti
Persone
Pubblicazioni
Strutture
Terza Missione
Attività
Competenze
IT
EN
☰
UNI-FIND
|
UNI-FIND
unibg.it
IT
EN
×
Home
Corsi
Insegnamenti
Persone
Pubblicazioni
Strutture
Terza Missione
Attività
Competenze
☰
Pubblicazioni
THEORETICAL COMPUTER SCIENCE AND GENERAL ISSUES
Serie
Codice:
E231784
ISSN:
2512-2010
Dati Generali
Dati Generali
Pubblicazioni (2)
From model checking to a temporal proof for partial models
Contributo in Atti di convegno
Supporting Concurrency in Private Data Outsourcing
Contributo in Atti di convegno
No Results Found
