Publications

Formal modeling and verification of scalable process-aware distributed iot applications

• • Rakesh Jain
  • Kais Klai
  • et al.
• 2019
• ISPA/BDCloud/SustainCom/SocialCom 2019