APA (7th ed.) Citation

Shkarupylo, V., Blinov, I. V., Dusheba, V., & Alsayaydeh, J. A. J. (2023). Case driven TLC model checker analysis in energy scenario.

Chicago Style (17th ed.) Citation

Shkarupylo, Vadym, Ihor V. Blinov, Valentyna Dusheba, and Jamil Abedalrahim Jamil Alsayaydeh. Case Driven TLC Model Checker Analysis in Energy Scenario. 2023.

MLA (9th ed.) Citation

Shkarupylo, Vadym, et al. Case Driven TLC Model Checker Analysis in Energy Scenario. 2023.