| 000 | 00464nab a2200133Ia 4500 | ||
|---|---|---|---|
| 008 | 230808s2013 |||||||f |||| 00| 0 eng d | ||
| 100 |
_aShimakawa, Masaya _9723491 |
||
| 245 | 0 | _aComplexity of Strong Satisfiability Problems for Regctive System Specfications | |
| 300 | _a2187-2193 p. | ||
| 650 |
_aReactive System _9723492 |
||
| 650 |
_aStrong Satisfisfability _9723493 |
||
| 773 |
_d2013 _tIEICE Transactions on Information and Systems _x09168532 |
||
| 942 |
_cART _o51 _pABUL KALAM Library |
||
| 999 |
_c717634 _d717634 |
||