Publication | Open Access
Modal logics for mobile processes
204
Citations
5
References
1993
Year
Mobile ProcessesEngineeringMobile InteractionAutomated ReasoningModal LogicFormal MethodsHuman-computer InteractionMobile ComputingComputer ScienceFormal VerificationSystem SoftwareContext-aware Pervasive System
| Year | Citations | |
|---|---|---|
Page 1
Page 1