Noriaki Yoshiura. The Relation Between Syntax Restriction of Temporal Logic and Properties of Reactive System Specification. In Ngoc Thanh Nguyen, Satoshi Tojo, Le Minh Nguyen, Bogdan Trawinski, editors, Intelligent Information and Database Systems - 9th Asian Conference, ACIIDS 2017, Kanazawa, Japan, April 3-5, 2017, Proceedings, Part II. Volume 10192 of Lecture Notes in Computer Science, pages 105-114, 2017. [doi]
Abstract is missing.