Supratik Mukhopadhyay

Latest

• Model Checking Mobile Ambients
• The Complexity of Model Checking Mobile Ambients