Masaya Shimakawa, Shigeki Hagihara, Naoki Yonezaki. Bounded Strong Satisfiability Checking of Reactive System Specifications. IEICE Transactions, 97-D(7):1746-1755, 2014. [doi]
@article{ShimakawaHY14,
title = {Bounded Strong Satisfiability Checking of Reactive System Specifications},
author = {Masaya Shimakawa and Shigeki Hagihara and Naoki Yonezaki},
year = {2014},
url = {http://search.ieice.org/bin/summary.php?id=e97-d_7_1746},
researchr = {https://researchr.org/publication/ShimakawaHY14},
cites = {0},
citedby = {0},
journal = {IEICE Transactions},
volume = {97-D},
number = {7},
pages = {1746-1755},
}