Bibtex de la publication

@PhDThesis{ Ob2001.4,
author = {Ober, Iulian},
title = "{Spécification et Validation des Systèmes Temporisés avec des langages de Description Formelle : étude et mise en oeuvre }",
year = {2001},
month = {septembre},
type = {Thèse de doctorat},
school = {Institut National Polytechnique de Toulouse},
address = {Toulouse, France}
}