Login / Signup

Combining Aspects of Reactive Systems.

Leonid KofBernhard Schätz
Published in: Ershov Memorial Conference (2003)
Keyphrases
  • reactive systems
  • temporal logic
  • model checking
  • control flow
  • information flow
  • formal methods
  • databases
  • object oriented