APA (7th ed.) Citation

Akshay, S., Gastin, P., Govind, R., & Srivathsan, B. (2024). MITL Model Checking via Generalized Timed Automata and a New Liveness Algorithm.

Chicago Style (17th ed.) Citation

Akshay, S., Paul Gastin, R. Govind, and B. Srivathsan. MITL Model Checking via Generalized Timed Automata and a New Liveness Algorithm. 2024.

MLA (9th ed.) Citation

Akshay, S., et al. MITL Model Checking via Generalized Timed Automata and a New Liveness Algorithm. 2024.