Ph. D. Candidate |
Ralph HOFFMANN |
|
E-Mail Address: | ralph.hoffmann@epfl.ch |
Mailing Address: | Logic Systems Laboratory
IN-Ecublens CH-1015 Lausanne Switzerland |
Phone Number: | +41-21-693 26 52 |
Fax Number: | +41-21-693 37 05 |
Last updated: April 2000, by H. F. Restrepo. Logic Systems Laboratory, http://lslwww.epfl.ch |