Sign in

Verifying Abstractions of Timed Systems.

Serdar TasiranRajeev AlurRobert P. KurshanRobert K. Brayton
Published in: CONCUR (1996)
Keyphrases
  • learning systems
  • expert systems
  • distributed systems
  • complex systems
  • petri net
  • knowledge base
  • relational databases
  • knowledge based systems
  • retrieval systems
  • finite state machines
  • systems require