Sign in
Checking Interval Based Properties for Reactive Systems.
Yu Pei
Qiwen Xu
Published in:
VMCAI (2004)
Keyphrases
</>
reactive systems
temporal logic
information flow
state machines
relational databases