Behind BANANA: Design and Implementation of a Tool for Nesting Analysis of Mobile Ambients☆
Under a Creative Commons license
open access
Cited by (0)
- ☆
Partially supported by the MIUR Project “Modelli formali per la sicurezza”, the EU Con- tract IST-2001-32617 “MyThS”, and the FIRB project (RBAU018RCZ) “Interpretazione astratta e model checking per la verifica di sistemi embedded”.
Copyright © 2004 Elsevier B.V.