Community Research and Development Information Service - CORDIS

FP7

Final Report - DIVERMAS (Distributed systems verification with mas-based model checking)

Project ID: 252184
Funded under: FP7-PEOPLE

Abstract

N/A

Download application/zip (68766)

Related information

Follow us on: RSS Facebook Twitter YouTube Managed by the EU Publications Office Top