Gnatenko, A. R., & Zakharov, V. A. On the Model Checking Problem for Some Extension of CTL*. Yaroslavl State University.
Chicago Style (17th ed.) CitationGnatenko, Anton Romanovich, and Vladimir Anatolyevich Zakharov. On the Model Checking Problem for Some Extension of CTL*. Yaroslavl State University.
MLA (9th ed.) CitationGnatenko, Anton Romanovich, and Vladimir Anatolyevich Zakharov. On the Model Checking Problem for Some Extension of CTL*. Yaroslavl State University.
Warning: These citations may not always be 100% accurate.