Skip to Main Content (Press Enter)
×
Home
People
Outputs
Organizations
Expertise & Skills
IT
EN
☰
UNI-FIND
|
UNI-FIND
cnr.it
IT
EN
×
Home
People
Outputs
Organizations
Expertise & Skills
☰
Outputs
Automated Verification of Groupware Protocols
Other Research Product
Publication Date:
2004
Iris type:
05.12 Altro
List of contributors:
Gnesi, Stefania; Massink, Mieke; TER BEEK, MAURICE HENRI; Latella, Diego
Authors of the University:
LATELLA DIEGO
MASSINK MIEKE
TER BEEK MAURICE HENRI
Handle:
https://iris.cnr.it/handle/20.500.14243/121349
