A formal model of asynchronous communication and its use in mechanically verifying a biphase mark prorocol /

Chicago citation style
Moore, J Strother, 1947-. A formal model of asynchronous communication and its use in mechanically verifying a biphase mark prorocol /. 1992. Retrieved from the Digital Public Library of America, http://catalog.hathitrust.org/Record/011431851. (Accessed December 15, 2018.)
APA citation style
Moore, J Strother, 1947-, (1992) A formal model of asynchronous communication and its use in mechanically verifying a biphase mark prorocol /. Retrieved from the Digital Public Library of America, http://catalog.hathitrust.org/Record/011431851
MLA citation style
Moore, J Strother, 1947-. Retrieved from the Digital Public Library of America <http://catalog.hathitrust.org/Record/011431851>.
Note: These citations are programmatically generated and may be incomplete.