General description. | Table of Contents, relating the PhD and the online material | Detailed description of the files in this directory | Jump to my home page |
The formalisation (including all examples) is available as gzipped tar file.
General description. | Table of Contents, relating the PhD and the online material | Detailed description of the files in this directory | Jump to my home page |
last changed on 9 Aug 2002 by Hendrik