A comparison of additivity axioms in timed transition systems /
Jeffrey, Alan.
Schneider, Steve.
Vaandrager, Frits.
University of Sussex.Computer Science.
Brighton : University of Sussex, Computer Science,
1993.
Cover title.