Yu, Y., & Liu, J. (2022, May 6). TAPInspector: Safety and Liveness Verification of Concurrent Trigger-Action IoT Systems. arXiv.org. https://doi.org/10.48550/arxiv.2102.01468
Citace podle Chicago (17th ed.)Yu, Yinbo, a Jiajia Liu. "TAPInspector: Safety and Liveness Verification of Concurrent Trigger-Action IoT Systems." ArXiv.org 6 May. 2022. https://doi.org/10.48550/arxiv.2102.01468.
Citace podle MLA (9th ed.)Yu, Yinbo, a Jiajia Liu. "TAPInspector: Safety and Liveness Verification of Concurrent Trigger-Action IoT Systems." ArXiv.org, 6 May. 2022, https://doi.org/10.48550/arxiv.2102.01468.
Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..