Login / Signup

Automatic Verification of Parameterized Synchronous Systems (Extended Abstract).

E. Allen EmersonKedar S. Namjoshi
Published in: CAV (1996)
Keyphrases
  • extended abstract
  • data sets
  • intelligent systems
  • machine learning
  • information systems
  • multimedia
  • expert systems
  • complex systems