A Class of Automata for Computing Reachability Relations in Timed Systems.

Published in: VISSAS (2005)

Keyphrases

finite state machines
databases
management system
distributed systems
complex systems
case study
intelligent systems
computer systems
expressive power