Inria / Raweb 2006
Presentation of the Project Cassis

Cassis

Combining approaches for the security of infinite state systems

2006 Research Team Activity Report
Theme : SYM
Presentation of the Project-Team - Activity Report in PDF or XML format


previous
next