Formal analysis of the compact positionreporting algorithm

MLA

François Bobot, et al. “Formal Analysis of the Compact Positionreporting Algorithm.” Formal Aspects of Computing, vol. 33, Jan. 2021, pp. 65–86. EBSCOhost, widgets.ebscohost.com/prod/customlink/proxify/proxify.php?count=1&encode=0&proxy=&find_1=&replace_1=&target=https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&scope=site&db=edsair&AN=edsair.doi...........2e3e0ca0e88b9eeb85c33c1332f476f5&authtype=sso&custid=ns315887.

APA

François Bobot, Aaron Dutle, Gregory Anderson, César A. Muñoz, Laura Titolo, & Mariano M. Moscato. (2021). Formal analysis of the compact positionreporting algorithm. Formal Aspects of Computing, 33, 65–86.

Chicago

François Bobot, Aaron Dutle, Gregory Anderson, César A. Muñoz, Laura Titolo, and Mariano M. Moscato. 2021. “Formal Analysis of the Compact Positionreporting Algorithm.” Formal Aspects of Computing 33 (January): 65–86. http://widgets.ebscohost.com/prod/customlink/proxify/proxify.php?count=1&encode=0&proxy=&find_1=&replace_1=&target=https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&scope=site&db=edsair&AN=edsair.doi...........2e3e0ca0e88b9eeb85c33c1332f476f5&authtype=sso&custid=ns315887.