 |
| |||
| state-space exploration (= state space exploration; = SSE I; эффективный способ автоматической верификации параллельных программных систем ssn); state space exploration (= state-space exploration; = SSE I; эффективный способ автоматической верификации параллельных программных систем ssn) | |||