Login / Signup

Dynamic Linear Time Temporal Logic.

Jesper G. HenriksenP. S. Thiagarajan
Published in: Ann. Pure Appl. Log. (1999)
Keyphrases
  • general purpose
  • linear time temporal logic
  • inference rules