Masaya Shimakawa, Shigeki Hagihara, Naoki Yonezaki. Complexity of Checking Strong Satisfiability of Reactive System Specifications. In Vinu V. Das, Passent El-Kafrawy, editors, Signal Processing and Information Technology - Second International Joint Conference, SPIT 2012, Dubai, UAE, September 20-21, 2012, Revised Selected Papers. Volume 117 of Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, pages 41-50, Springer, 2012. [doi]
@inproceedings{ShimakawaHY12,
title = {Complexity of Checking Strong Satisfiability of Reactive System Specifications},
author = {Masaya Shimakawa and Shigeki Hagihara and Naoki Yonezaki},
year = {2012},
doi = {10.1007/978-3-319-11629-7_6},
url = {http://dx.doi.org/10.1007/978-3-319-11629-7_6},
researchr = {https://researchr.org/publication/ShimakawaHY12},
cites = {0},
citedby = {0},
pages = {41-50},
booktitle = {Signal Processing and Information Technology - Second International Joint Conference, SPIT 2012, Dubai, UAE, September 20-21, 2012, Revised Selected Papers},
editor = {Vinu V. Das and Passent El-Kafrawy},
volume = {117},
series = {Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering},
publisher = {Springer},
isbn = {978-3-319-11628-0},
}