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]
@inproceedings{Yoshiura17,
title = {The Relation Between Syntax Restriction of Temporal Logic and Properties of Reactive System Specification},
author = {Noriaki Yoshiura},
year = {2017},
doi = {10.1007/978-3-319-54430-4_11},
url = {http://dx.doi.org/10.1007/978-3-319-54430-4_11},
researchr = {https://researchr.org/publication/Yoshiura17},
cites = {0},
citedby = {0},
pages = {105-114},
booktitle = {Intelligent Information and Database Systems - 9th Asian Conference, ACIIDS 2017, Kanazawa, Japan, April 3-5, 2017, Proceedings, Part II},
editor = {Ngoc Thanh Nguyen and Satoshi Tojo and Le Minh Nguyen and Bogdan Trawinski},
volume = {10192},
series = {Lecture Notes in Computer Science},
isbn = {978-3-319-54429-8},
}