Alternating-Time Temporal Logic.
| Autor: | Alur, Rajeev, Henzinger, Thomas A., Kupferman, Orna |
|---|---|
| Zdroj: | Journal of the ACM. Sep2002, Vol. 49 Issue 5, p672. 42p. 2 Diagrams, 1 Chart. |
| Databáze: | Business Source Ultimate |
| Externí odkaz: |
|
| Autor: | Alur, Rajeev, Henzinger, Thomas A., Kupferman, Orna |
|---|---|
| Zdroj: | Journal of the ACM. Sep2002, Vol. 49 Issue 5, p672. 42p. 2 Diagrams, 1 Chart. |
| Databáze: | Business Source Ultimate |
| Externí odkaz: |
|