Gnatenko, A., & Zakharov, V. (2018). On the Expressive Power of Some Extensions of Linear Temporal Logic. Yaroslavl State University.
Chicago Style (17th ed.) CitationGnatenko, Anton, and Vladimir Zakharov. On the Expressive Power of Some Extensions of Linear Temporal Logic. Yaroslavl State University, 2018.
MLA (9th ed.) CitationGnatenko, Anton, and Vladimir Zakharov. On the Expressive Power of Some Extensions of Linear Temporal Logic. Yaroslavl State University, 2018.
Warning: These citations may not always be 100% accurate.