Login / Signup

LiQuor: A tool for Qualitative and Quantitative Linear Time analysis of Reactive Systems.

Frank CiesinskiChristel Baier
Published in: QEST (2006)
Keyphrases
  • qualitative and quantitative
  • reactive systems
  • quantitative and qualitative
  • qualitative information
  • information systems
  • expert systems
  • computer systems
  • temporal reasoning