Model-Checking of Correctness Conditions for Concurrent Objects
| Autor: | Alur, Rajeev, McMillan, Ken, Peled, Doron |
|---|---|
| Zdroj: | In Information and Computation 10 July 2000 160(1-2):167-188 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
| Autor: | Alur, Rajeev, McMillan, Ken, Peled, Doron |
|---|---|
| Zdroj: | In Information and Computation 10 July 2000 160(1-2):167-188 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
Full Text from ScienceDirect