This section will present the state of the project : the task already achieved and the next to carry on.
For further information or comments, please contact me :
Emeka MOSANYA
E-Mail Address: | Emeka.Mosanya@di.epfl.ch |
Mailing Address: | Ecole Polytechnique Fédérale de Lausanne |
Laboratoire de Systèmes Logiques | |
INN Ecublens | |
1015 Lausanne, Switzerland | |
Phone Number: | +41-21-693 6620 |
Fax Number: | +41-21-693 3705 |
For any problems with this server, contact the administrator at www_adm@lslsun.pfl.ch .
The last revision has been made the 20th of May 1997.
Copyright © 1997 Emeka MOSANYA.