Sign in

Checking Interval Based Properties for Reactive Systems.

Yu PeiQiwen Xu
Published in: VMCAI (2004)
Keyphrases
  • reactive systems
  • temporal logic
  • information flow
  • state machines
  • relational databases