Intl. Symposium on Model Checking Software, SPIN 2018


Article Details
Title: Software Model Checking for Mobile Security - Collusion Detection in \mathbb K K
Article URLs:
Alternative Article URLs:
Authors: Irina Mariuca Asavoae
  • Swansea University
Hoang Nga Nguyen
  • Coventry University
Markus Roggenbach
  • Swansea University
Sharing: Unknown
Verification: Authors have not verified information
Artifact Evaluation Badge: none
Artifact URLs:
Artifact Correspondence Email Addresses:
NSF Award Numbers:
DBLP Key: conf/spin/AsavoaeNR18
Author Comments:

Discuss this paper and its artifacts below