Compositional specification and verification of distributed systems

MLA

Jonsson, Bengt. “Compositional Specification and Verification of Distributed Systems.” ACM Transactions on Programming Languages & Systems, vol. v16, no. n2, Mar. 1994, p. 259. 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=edsggo&AN=edsgcl.15364026&authtype=sso&custid=ns315887.

APA

Jonsson, B. (1994). Compositional specification and verification of distributed systems. ACM Transactions on Programming Languages & Systems, v16(n2), 259.

Chicago

Jonsson, Bengt. 1994. “Compositional Specification and Verification of Distributed Systems.” ACM Transactions on Programming Languages & Systems v16 (n2): 259. 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=edsggo&AN=edsgcl.15364026&authtype=sso&custid=ns315887.