Qian Zhou, Fan Ye 0003. APEX: automatic precondition execution with isolation and atomicity in internet-of-things. In Olaf Landsiedel, Klara Nahrstedt, editors, Proceedings of the International Conference on Internet of Things Design and Implementation, IoTDI 2019, Montreal, QC, Canada, April 15-18, 2019. pages 25-36, ACM, 2019. [doi]
Abstract is missing.