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
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE
Rivista
Codice:
E201044
ISSN:
2075-2180
Dati Generali
Dati Generali
Pubblicazioni (5)
Aspects of multiscale modelling in a process algebra for biological systems
Contributo in Atti di convegno
Compositionality of Approximate Bisimulation for Probabilistic Systems
Contributo in Atti di convegno
Logical Characterization of Trace Metrics
Contributo in Atti di convegno
Proceedings Combined 24th International Workshop on Expressiveness in Concurrency and 14th Workshop on Structural Operational Semantics Berlin, Germany, 4th September 2017 Preface
Curatela
Proceedings Combined 25th International Workshop on Expressiveness in Concurrency and 15th Workshop on Structural Operational Semantics Beijing, China, September 3, 2018 Preface
Curatela
No Results Found
