Login / Signup
Arkadi Estrin
Publication Activity (10 Years)
Years Active: 1999-2002
Publications (10 Years): 0
</>
Publications
</>
Arkadi Estrin
,
Michael Kaminski
The Expressive Power of Temporal Logic of Actions.
J. Log. Comput.
12 (5) (2002)
Arkadi Estrin
,
Michael Kaminski
The Expressive Power of Temporal Logic of Actions (Extended Abstract).
CONCUR
(1999)