2002 | ||
---|---|---|
2 | EE | Arkadi Estrin, Michael Kaminski: The Expressive Power of Temporal Logic of Actions. J. Log. Comput. 12(5): 839-859 (2002) |
1999 | ||
1 | EE | Arkadi Estrin, Michael Kaminski: The Expressive Power of Temporal Logic of Actions (Extended Abstract). CONCUR 1999: 274-287 |
1 | Michael Kaminski | [1] [2] |