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

Record Number: 16970 / Last updated on: 2013-07-05
Category: PROJ