-
1von: Lopez-Carmona, Miguel A.
-
2Reducing model checking commitments for agent communication to model checking ARCTL and $ GCTL^{*} $von: El Menshawy, Mohamed
-
3
-
4von: Albrecht, Stefano V.
-
5von: Bouton, Maxime
-
6von: Deng, Xiaotie
-
7von: Etuk, Anthony
-
8von: Hernández, Carlos
-
9von: Chalkiadakis, Georgios
-
10von: Endrass, Birgit
-
11von: Azaria, Amos
-
12
-
13von: Birukou, Aliaksandr
-
14
-
15von: Faella, Marco
-
16von: Manurangsi, Pasin
-
17von: McKay, Michael
-
18von: Zhang, Haifeng
-
19
-
20