An Extension of PlusCal for Modeling Distributed Algorithms

MLA

Alkayed, Heba, et al. An Extension of PlusCal for Modeling Distributed Algorithms. Oct. 2020. 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.dedup.wf.001..7dbf3e41b4cde19fc8065e5c0d441db7&authtype=sso&custid=ns315887.

APA

Alkayed, H., Cirstea, H., & Merz, S. (2020). An Extension of PlusCal for Modeling Distributed Algorithms.

Chicago

Alkayed, Heba, Horatiu Cirstea, and Stephan Merz. 2020. “An Extension of PlusCal for Modeling Distributed Algorithms,” October. 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.dedup.wf.001..7dbf3e41b4cde19fc8065e5c0d441db7&authtype=sso&custid=ns315887.