Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Tidjani Négadi
Weihua Li
Ernest Barreto
Yassin Khalifa
Claudia Calabrese
Jhonathan Pinzon
Giovanni Venturelli
Chen Ma
Radu Timofte
Kuanrui Yin
Home
/
Paper
/
Software Model Checking for Mobile Security - Collusion Detection in \mathbb K K.
Paper Info
Open Visualization
Title
Software Model Checking for Mobile Security - Collusion Detection in \mathbb K K.
Year
Venue
DocType
2018
SPIN
Conference
Citations
PageRank
References
0
0.34
0
Authors
3
Authors (3 rows)
Cited by (0 rows)
References (0 rows)
Name
Order
Citations
PageRank
Irina Măriuca Asăvoae
1
40
7.17
Hoang Nga Nguyen
2
80
12.80
Markus Roggenbach
3
294
32.63
1