Skip to main content

Home
I siti AulaWeb
AulaWeb 2023/24 AulaWeb 2022/23 AulaWeb 2021/22 Master Dottorati Scuole di specializzazione Tutti i siti AulaWeb
Servizi online
UniGe
corsi di studio genuawifi webmail biblioteche
More

English ‎(en)‎

English ‎(en)‎ Italiano ‎(it)‎

You are currently using guest access

Log in

Home I siti AulaWeb Collapse Expand

AulaWeb 2023/24 AulaWeb 2022/23 AulaWeb 2021/22 Master Dottorati Scuole di specializzazione Tutti i siti AulaWeb

Servizi online UniGe Collapse Expand

corsi di studio genuawifi webmail biblioteche

Tags
Model checking and testing of concurrent systems.

Dottorati

Model checking and testing of concurrent systems.

User interests

Riccardo Traverso

You are currently using guest access (Log in)

Powered by Moodle