Ph.D. Dissertation
A Logical Study of Distributed Timed Automata
Deepak D'Souza
Ph.D. Thesis, submitted to BITS, Pilani (2000).
Abstract
Available as a gzipped
dvi file
(157
K
) or gzipped
postscript file
(335
K
).