Publication | Open Access
The Complexity of Model Checking Mobile Ambients
17
Citations
8
References
2001
Year
Mobile SensingEngineeringVerificationFormal MethodsSoftware AnalysisSystems EngineeringHuman-computer InteractionComputer ScienceMobile ComputingModel CheckingFormal VerificationContext-aware Pervasive System
| Year | Citations | |
|---|---|---|
Page 1
Page 1