Model checking message exchange in location based services

  • Ashwini Moily*
  • , Guru Prasanna
  • , Keerthi S. Shetty
  • , Sanjay Singh
  • *Corresponding author for this work

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    1 Citation (Scopus)

    Fingerprint

    Dive into the research topics of 'Model checking message exchange in location based services'. Together they form a unique fingerprint.

    Computer Science

    INIS