Xuansong Li, Wei Song, Haibo Ye. ALChecker: A Tool for Checking Mobile Ambients. In Guojun Wang, Qi Han, Md. Zakirul Alam Bhuiyan, Xiaoxing Ma, Frédéric Loulergue, Peng Li 0017, Manuel Roveri, Lei Chen 0029, editors, 2018 IEEE SmartWorld, Ubiquitous Intelligence & Computing, Advanced & Trusted Computing, Scalable Computing & Communications, Cloud & Big Data Computing, Internet of People and Smart City Innovation, SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI 2018, Guangzhou, China, October 8-12, 2018. pages 1577-1581, IEEE, 2018. [doi]
Abstract is missing.