Dines Bjørner
Department of Information Technology, Bldg. 344
Technical University of Denmark, DK-2800 Lyngby,
Denmark
Fax: +45-45.88.45.30, E-Mail: db@it.dtu.dk;
URL: http://www.it.dtu.dk/~db
October 22, 1998 -- October 25, 1999
This document is part of the IT/DTU Work Package for the EU sponsored ESSI Project 26538: FMERail.
It is posted on the web: