Vol-2153⫷ Vol-2154 ⫸Vol-2155
urn:nbn:de:0074-2154-0


Vol-2154/paper5⫷Vol-2154/paper6⫸Vol-2154/paper7
Nagat DrawelJamal BentaharAmine LaarejMohamed El-Menshawy

Verifying Temporal Trust Logic using CTL Model Checking