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

Catalin Dima A Class of Automata for Computing Reachability Relations in Timed Systems. 69-89 2005 conf/vissas/2005 VISSAS db/conf/vissas/vissas2005.html#Dima05