Credits
-
This dissertation has been written under the supervision of prof.dr. Ed Brinksma
-
The research was done at the Formal Methods & Tools group, Faculty of Computer Science, University of Twente.
-
The research reported in this dissertation has been supported by the Netherlands Computer Science Research foundation (SION) with financial support from the Netherlands Organization for Scientific Research (NWO) within the scope of the project NWO/SION 612-33-006.
-
The research has been carried out under the auspicies of the Institute for Programming Research and Algorithmics (IPA).
-
The research has been carried out within the context of the Centre for Telematics and Information Technology (CTIT).
Numbering and Series
- ISBN 90-365-1363-4.
- IPA Dissertation Series 1999-10.
- CTIT PhD-Thesis Series 99-25. ISSN 1381-3617.
(See also the UT database.)