Gnatenko, A. R., & Zakharov, V. A. On the Satisfiability and Model Checking for one Parameterized Extension of Linear-time Temporal Logic. Yaroslavl State University.
Chicago Style (17th ed.) CitationGnatenko, Anton Romanovich, and Vladimir Anatolyevich Zakharov. On the Satisfiability and Model Checking for One Parameterized Extension of Linear-time Temporal Logic. Yaroslavl State University.
MLA (9th ed.) CitationGnatenko, Anton Romanovich, and Vladimir Anatolyevich Zakharov. On the Satisfiability and Model Checking for One Parameterized Extension of Linear-time Temporal Logic. Yaroslavl State University.
Warning: These citations may not always be 100% accurate.