Sign in

Sortings for Reactive Systems.

Lars BirkedalSøren DeboisThomas T. Hildebrandt
Published in: CONCUR (2006)
Keyphrases
  • reactive systems
  • information flow
  • model checking
  • petri net
  • temporal logic
  • formal methods
  • real time systems
  • data mining
  • real time
  • data model
  • communication networks