APA (7th ed.) Citation

Cate, B. t., Fisman, D., Ohayon, R., & Sestic, P. (2026). Characterizing LTL Formulas by Examples.

Chicago Style (17th ed.) Citation

Cate, Balder ten, Dana Fisman, Roi Ohayon, and Patrik Sestic. Characterizing LTL Formulas by Examples. 2026.

MLA (9th ed.) Citation

Cate, Balder ten, et al. Characterizing LTL Formulas by Examples. 2026.