![](/img/cover-not-exists.png)
Complexity of Strong Satisfiability Problems for Reactive System Specifications
SHIMAKAWA, Masaya, HAGIHARA, Shigeki, YONEZAKI, NaokiVolume:
E96.D
Year:
2013
Language:
english
Journal:
IEICE Transactions on Information and Systems
DOI:
10.1587/transinf.e96.d.2187
File:
PDF, 451 KB
english, 2013