Reasoning About Periodicity on Infinite Words

Wanwei Liu, Fu Song, Ge Zhou. Reasoning About Periodicity on Infinite Words. In Kim Guldstrand Larsen, Oleg Sokolsky, Ji Wang, editors, Dependable Software Engineering. Theories, Tools, and Applications - Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings. Volume 10606 of Lecture Notes in Computer Science, pages 200-215, Springer, 2017. [doi]

Abstract

Abstract is missing.