A complete axiomatisation for timed automata /
Lin, Huimin.
Yi, Wang.
University of Sussex.Computer Science.
Brighton : University of Sussex, Computer Science,
2000.
Cover title.