Inria / Raweb 2003
Project: Moscova

Mobility, Security, Concurrency, Verification and Analysis

Moscova

2003 research project activity report
Rocquencourt
Theme: 1C
Presentation of the project - Activity report in PostScript, PDF or XMLformat


previous
next