Old Web
English
Sign In
Acemap
>
Paper
>
Verifying Temporal Trust Logic using CTL Model Checking.
Verifying Temporal Trust Logic using CTL Model Checking.
2018
Nagat Drawel
Jamal Bentahar
Mohamed El-Menshawy
Amine Laarej
Keywords:
Algorithm
CTL*
Model checking
Computer science
Programming language
ctl model checking
Correction
Source
Cite
Save
Machine Reading By IdeaReader
30
References
4
Citations
NaN
KQI
[]