Login / Signup

The Expressive Power of Temporal Logic of Actions.

Arkadi EstrinMichael Kaminski
Published in: J. Log. Comput. (2002)
Keyphrases