This site has been archived on

FORMAL SPECIFICATION OF CONCURRENT ML PROGRAMS.

Image
Host Laboratory Scientific Supervisor
Centre National de la Recherche Scientifique
URA 0248 - Laboratoire d'Informatique Theorique et Programmation
RUE D'ULM 45
75251 Paris
France
Dr. Patrick Cousot
Tel : (33)1 44322064 / Fax : (33)1 44322080
Grant Holder
Dr. Klaus Havelund (Danish)
Tel : (33)1 44322077 / Fax : (33)1 44322080

Contract number : CHBICT940924

Duration : 21 Months from 01-10-94 -- Category 30 (B30)

Last updated :09:07:98


| Thematic list | List by country | Grants for all programmes | Marie Curie Training Grants | TMR Home

Do you have questions or comments about this site : (email removed)

DCSIMG