Title: Parallel verification of Dynamic Systems with Rich Configuration
Jury: Pedro Manuel Rangel Santos Henriques - President
Simão Patrício Melo de Sousa - Examiner
Nuno Filipe Moreira Macedo - Supervisor
Location: DI, Auditorium A2
Copyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.