Login / Signup

On Saturated Calculi for a Linear Temporal Logic.

Regimantas Pliuskevicius
Published in: MFCS (1993)
Keyphrases
  • linear temporal logic
  • temporal logic
  • model checking
  • bounded model checking
  • high level
  • linear time temporal logic