|
|||||
|
|
On the complexity of partial order trace model checking |
|
| Authors: | Thierry Massart |
| Affiliation: | Université Libre de Bruxelles (U.L.B.), Boulevard du Triomphe, CP-212, 1050 Bruxelles, Belgium |
| Abstract: | |
| Keywords: | Computational complexity Distributed systems Formal methods |
| 本文献已被 ScienceDirect 等数据库收录！ | |