@phdthesis{Gra08a,
title = {Models and Methods for the Construction and Verification of Complex Reactive Systems },
author = {Graf, Susanne},
month = {apr},
year = {2008},
type = {Habilitation \`a diriger des recherches},
school = {Universit\'e Joseph Fourier, Grenoble},
team = {DCS},
}
