Login / Signup

Linear Time Temporal Logics over Mazurkiewicz Traces.

Madhavan MukundP. S. Thiagarajan
Published in: MFCS (1996)
Keyphrases
  • mazurkiewicz traces
  • temporal logic
  • satisfiability problem
  • model checking
  • modal logic
  • worst case
  • concurrent systems
  • verification method