Thesis and Reports


Master's Thesis: Formalization of Timethreads Using LOTOS


Journal Publications

Without Examination Committee


Conference and Workshop Publications

With Examination Committee

Without Examination Committee


Technical Reports


Other Reports


Back to the Ph.D. page.

damyot@csi.uottawa.ca, September 6, 1998.