Researchers from University of Toulouse Report Findings in Computers (Formal Specification and Verification of Reusable Communication Models for Distributed Systems Architecture)

MLA

“Researchers from University of Toulouse Report Findings in Computers (Formal Specification and Verification of Reusable Communication Models for Distributed Systems Architecture).” Computer Weekly News, 8 July 2020, p. 1067. 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.628590399&authtype=sso&custid=ns315887.

APA

Researchers from University of Toulouse Report Findings in Computers (Formal Specification and Verification of Reusable Communication Models for Distributed Systems Architecture). (2020, July 8). Computer Weekly News, 1067.

Chicago

Computer Weekly News. 2020. “Researchers from University of Toulouse Report Findings in Computers (Formal Specification and Verification of Reusable Communication Models for Distributed Systems Architecture),” July 8. 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.628590399&authtype=sso&custid=ns315887.