@phdthesis{Tri98,
title = {L'{A}nalyse {F}ormelle de {S}yst\`emes {T}emporis\'es en {P}ratique },
author = {Tripakis, Stavros},
month = {December},
year = {1998},
address = {Grenoble, France},
school = {Universit\'e Joseph Fourier},
team = {TEMPO},
}
