Title
Towards Formal Modeling and Verification of Context-Aware Systems.
Year
Venue
DocType
2014
VECoS
Conference
Citations 
PageRank 
References 
3
0.40
5
Authors
3
Name
Order
Citations
PageRank
Taha Abdelmoutaleb Cherfia1101.95
Faiza Belala24620.89
Kamel Barkaoui353676.60