Euro Summerschool on FORMAL METHODS AND PERFORMANCE ANALYSIS.
| Ms. J. Lammerink Euro Summerschool FMPA 2000 University of Twente Faculty of Computer Science P.O. Box 217 7500 AE Enschede The Netherlands Tel. +31 53 4893767 Fax. +31 53 4893247 Email fmpa2k@cs.utwente.nl |