![]() | ![]() |
| 2002 | ||
|---|---|---|
| 2 | Arkadi Estrin, Michael Kaminski: The Expressive Power of Temporal Logic of Actions. J. Log. Comput. 12(5): 839-859 (2002) | |
| 1999 | ||
| 1 | Arkadi Estrin, Michael Kaminski: The Expressive Power of Temporal Logic of Actions (Extended Abstract). CONCUR 1999: 274-287 | |
| 1 | Michael Kaminski | [1] [2] |
Data released under the ODC-BY 1.0 license — See also our legal information page