Cite
Formal Verification of a Map Merging Protocol in the Multi-Agent Programming Contest
MLA
Luckcuck, Matt, and Rafael C. Cardoso. Formal Verification of a Map Merging Protocol in the Multi-Agent Programming Contest. 2021. 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=edsarx&AN=edsarx.2106.04512&authtype=sso&custid=ns315887.
APA
Luckcuck, M., & Cardoso, R. C. (2021). Formal Verification of a Map Merging Protocol in the Multi-Agent Programming Contest.
Chicago
Luckcuck, Matt, and Rafael C. Cardoso. 2021. “Formal Verification of a Map Merging Protocol in the Multi-Agent Programming Contest.” 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=edsarx&AN=edsarx.2106.04512&authtype=sso&custid=ns315887.