Login / Signup

Colonies as Models of Reactive Systems.

Jozef Kelemen
Published in: New Trends in Formal Languages (1997)
Keyphrases
  • reactive systems
  • model checking
  • artificial intelligence
  • query language
  • real time systems