Type
doctoral thesis
Author(s)
Advisors
Guerraoui, Rachid
•
Kuncak, Viktor
Jury
Prof. J. Sifakis (président); Prof. R. Guerraoui, Prof. V. Kuncak (directeurs); Dr S. Merz, Prof. T. Nipkow, Prof. A. Schiper (rapporteurs)
Date Issued
2014
Publisher
Public defense year
2014-02-21
Thesis number
6085
Faculty
School
Doctoral School
Use this identifier to reference this record