APA (7th ed.) Citation

Taryana, A., Adzkiya, D., Mufid, M. S., & Mukhlash, I. (2025). Timed concurrent system modeling and verification of home care plan. International Journal of Electrical & Computer Engineering (2088-8708), 15(1), 870. https://doi.org/10.11591/ijece.v15i1.pp870-882

Chicago Style (17th ed.) Citation

Taryana, Acep, Dieky Adzkiya, Muhammad Syifa'ul Mufid, and Imam Mukhlash. "Timed Concurrent System Modeling and Verification of Home Care Plan." International Journal of Electrical & Computer Engineering (2088-8708) 15, no. 1 (2025): 870. https://doi.org/10.11591/ijece.v15i1.pp870-882.

MLA (9th ed.) Citation

Taryana, Acep, et al. "Timed Concurrent System Modeling and Verification of Home Care Plan." International Journal of Electrical & Computer Engineering (2088-8708), vol. 15, no. 1, 2025, p. 870, https://doi.org/10.11591/ijece.v15i1.pp870-882.