![](/img/cover-not-exists.png)
[IEEE 2018 IEEE 42nd Annual Computer Software and Applications Conference (COMPSAC) - Tokyo, Japan (2018.7.23-2018.7.27)] 2018 IEEE 42nd Annual Computer Software and Applications Conference (COMPSAC) - Formalization and Verification of Mobile Systems Calculus Using the Rewriting Engine Maude
Xie, Wanling, Zhu, Huibiao, Zhang, Min, Lu, Gang, Fang, YuchengYear:
2018
Language:
english
DOI:
10.1109/COMPSAC.2018.00034
File:
PDF, 303 KB
english, 2018