Memory-efficient algorithms for the verification of temporal properties

MLA

Costas Courcoubetis, et al. “Memory-Efficient Algorithms for the Verification of Temporal Properties.” Formal Methods in System Design, vol. 1, Oct. 1992, pp. 275–88. EBSCOhost, https://doi.org/10.1007/bf00121128.

APA

Costas Courcoubetis, Moshe Y. Vardi, Mihalis Yannakakis, & Pierre Wolper. (1992). Memory-efficient algorithms for the verification of temporal properties. Formal Methods in System Design, 1, 275–288. https://doi.org/10.1007/bf00121128

Chicago

Costas Courcoubetis, Moshe Y. Vardi, Mihalis Yannakakis, and Pierre Wolper. 1992. “Memory-Efficient Algorithms for the Verification of Temporal Properties.” Formal Methods in System Design 1 (October): 275–88. doi:10.1007/bf00121128.