A compositional framework for fault tolerance by specification transformation

MLA

Mathai Joseph, and Doron Peled. “A Compositional Framework for Fault Tolerance by Specification Transformation.” Theoretical Computer Science, vol. 128, no. 1–2, June 1994, pp. 99–125. EBSCOhost, https://doi.org/10.1016/0304-3975(94)90166-x.

APA

Mathai Joseph, & Doron Peled. (1994). A compositional framework for fault tolerance by specification transformation. Theoretical Computer Science, 128(1–2), 99–125. https://doi.org/10.1016/0304-3975(94)90166-x

Chicago

Mathai Joseph, and Doron Peled. 1994. “A Compositional Framework for Fault Tolerance by Specification Transformation.” Theoretical Computer Science 128 (1–2): 99–125. doi:10.1016/0304-3975(94)90166-x.