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
Citace podle Chicago (17th ed.)Zarneshan, Mahsa, Fatemeh Ghassemi, Ehsan Khamespanah, Marjan Sirjani, a 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.
Citace podle MLA (9th ed.)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.