APA (7th ed.) Citation

Zarneshan, M., Ghassemi, F., Khamespanah, E., Sirjani, M., & Hatcliff, J. (2022). Specification and Verification of Timing Properties in Interoperable Medical Systems. Logical methods in computer science, 18, Issue 2(2), . https://doi.org/10.46298/lmcs-18(2:13)2022

Chicago Style (17th ed.) Citation

Zarneshan, Mahsa, Fatemeh Ghassemi, Ehsan Khamespanah, Marjan Sirjani, and John Hatcliff. "Specification and Verification of Timing Properties in Interoperable Medical Systems." Logical Methods in Computer Science 18, Issue 2, no. 2 (2022). https://doi.org/10.46298/lmcs-18(2:13)2022.

MLA (9th ed.) Citation

Zarneshan, Mahsa, et al. "Specification and Verification of Timing Properties in Interoperable Medical Systems." Logical Methods in Computer Science, vol. 18, Issue 2, no. 2, 2022, https://doi.org/10.46298/lmcs-18(2:13)2022.